/ Sprite 1984 - 1993 / Sprite 1984 - 1993.iso / lib / tex / vdm.doc

< prev

next >

MacOS 8.1

Win98

DOS

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |%-------|--------|
|00000010| 2d 2d 76 64 6d 2e 64 6f | 63 2d 2d 2d 2d 2d 2d 2d |--vdm.do|c-------|
|00000020| 2d 2d 2d 2d 2d 2d 0a 25 | 0a 25 09 56 44 4d 20 64 |------.%|.%.VDM d|
|00000030| 6f 63 75 6d 65 6e 74 73 | 74 79 6c 65 20 6f 70 74 |ocuments|tyle opt|
|00000040| 69 6f 6e 20 66 6f 72 20 | 4c 61 54 65 58 0a 25 0a |ion for |LaTeX.%.|
|00000050| 25 09 4d 2e 20 57 6f 6c | 63 7a 6b 6f 20 09 46 65 |%.M. Wol|czko .Fe|
|00000060| 62 20 38 36 0a 25 0a 25 | 09 43 72 65 61 74 65 64 |b 86.%.%|.Created|
|00000070| 20 66 72 6f 6d 20 74 68 | 65 20 61 73 68 65 73 20 | from th|e ashes |
|00000080| 6f 66 20 56 44 4d 2e 74 | 65 78 20 61 6e 64 20 43 |of VDM.t|ex and C|
|00000090| 42 4a 27 73 20 76 64 6d | 38 36 2e 74 65 78 0a 25 |BJ's vdm|86.tex.%|
|000000a0| 0a 25 09 55 73 65 73 20 | 74 68 65 20 41 4d 53 20 |.%.Uses |the AMS |
|000000b0| 6d 73 79 6d 20 66 6f 6e | 74 73 20 69 66 20 61 76 |msym fon|ts if av|
|000000c0| 61 69 6c 61 62 6c 65 3a | 20 69 66 20 79 6f 75 20 |ailable:| if you |
|000000d0| 64 6f 6e 27 74 20 68 61 | 76 65 20 74 68 65 6d 2c |don't ha|ve them,|
|000000e0| 0a 25 09 66 6f 6c 6c 6f | 77 20 74 68 65 20 69 6e |.%.follo|w the in|
|000000f0| 73 74 72 75 63 74 69 6f | 6e 73 20 6e 65 61 72 20 |structio|ns near |
|00000100| 74 68 65 20 73 74 72 69 | 6e 67 20 46 4f 4e 54 2d |the stri|ng FONT-|
|00000110| 43 55 53 54 4f 4d 49 5a | 49 4e 47 2e 0a 25 0a 25 |CUSTOMIZ|ING..%.%|
|00000120| 09 24 4c 6f 67 3a 09 76 | 64 6d 2e 64 6f 63 2c 76 |.$Log:.v|dm.doc,v|
|00000130| 20 24 0a 25 09 52 65 76 | 69 73 69 6f 6e 20 32 2e | $.%.Rev|ision 2.|
|00000140| 33 20 20 38 37 2f 30 32 | 2f 32 36 20 20 31 31 3a |3  87/02|/26  11:|
|00000150| 33 36 3a 30 37 20 20 6d | 69 77 0a 25 09 41 62 73 |36:07  m|iw.%.Abs|
|00000160| 65 6e 63 65 20 6f 66 20 | 61 20 62 6c 61 6e 6b 20 |ence of |a blank |
|00000170| 6c 69 6e 65 20 61 66 74 | 65 72 20 5c 65 6e 64 7b |line aft|er \end{|
|00000180| 76 64 6d 7d 20 6e 6f 77 | 20 66 6f 72 63 65 73 20 |vdm} now| forces |
|00000190| 5c 6e 6f 69 6e 64 65 6e | 74 2e 0a 25 09 43 61 6e |\noinden|t..%.Can|
|000001a0| 20 6e 6f 77 20 68 61 76 | 65 20 70 72 65 2d 20 61 | now hav|e pre- a|
|000001b0| 6e 64 20 70 6f 73 74 2d | 63 6f 6e 64 69 74 69 6f |nd post-|conditio|
|000001c0| 6e 73 20 69 6e 20 66 75 | 6e 63 74 69 6f 6e 20 64 |ns in fu|nction d|
|000001d0| 65 66 6e 73 2e 0a 25 09 | 41 64 64 65 64 20 5c 6d |efns..%.|Added \m|
|000001e0| 61 70 69 6e 74 6f 20 6d | 61 63 72 6f 2e 0a 25 0a |apinto m|acro..%.|
|000001f0| 25 0a 25 09 52 65 76 69 | 73 69 6f 6e 20 32 2e 32 |%.%.Revi|sion 2.2|
|00000200| 20 20 38 36 2f 31 32 2f | 31 38 20 20 31 32 3a 30 |  86/12/|18  12:0|
|00000210| 30 3a 31 37 20 20 6d 69 | 77 0a 25 09 41 64 64 65 |0:17  mi|w.%.Adde|
|00000220| 64 20 5c 40 63 68 61 6e | 67 65 4d 61 74 68 6d 6f |d \@chan|geMathmo|
|00000230| 64 65 43 61 74 63 6f 64 | 65 73 20 74 6f 20 5c 62 |deCatcod|es to \b|
|00000240| 65 67 69 6e 7b 76 64 6d | 7d 20 74 6f 20 61 76 6f |egin{vdm|} to avo|
|00000250| 69 64 20 61 73 20 6d 61 | 6e 79 0a 25 09 63 61 74 |id as ma|ny.%.cat|
|00000260| 63 6f 64 65 20 70 72 6f | 62 6c 65 6d 73 20 77 69 |code pro|blems wi|
|00000270| 74 68 20 40 20 61 6e 64 | 20 5f 20 61 73 20 70 6f |th @ and| _ as po|
|00000280| 73 73 69 62 6c 65 2e 0a | 25 09 46 69 78 65 64 20 |ssible..|%.Fixed |
|00000290| 61 20 62 75 67 20 69 6e | 20 5c 49 66 20 28 77 61 |a bug in| \If (wa|
|000002a0| 73 20 61 64 64 69 6e 67 | 20 65 78 74 72 61 20 62 |s adding| extra b|
|000002b0| 6c 61 6e 6b 20 6c 69 6e | 65 73 29 2e 0a 25 09 41 |lank lin|es)..%.A|
|000002c0| 64 64 65 64 20 74 68 65 | 20 5c 6e 65 78 69 73 74 |dded the| \nexist|
|000002d0| 73 20 6d 61 63 72 6f 2e | 0a 25 09 41 64 64 65 64 |s macro.|.%.Added|
|000002e0| 20 74 68 65 20 2a 2d 66 | 6f 72 6d 20 6f 66 20 66 | the *-f|orm of f|
|000002f0| 6e 20 28 77 68 69 63 68 | 20 68 61 64 20 62 65 65 |n (which| had bee|
|00000300| 6e 20 69 6e 61 64 76 65 | 72 74 65 6e 74 6c 79 20 |n inadve|rtently |
|00000310| 6f 6d 69 74 74 65 64 29 | 2e 0a 25 09 46 69 78 65 |omitted)|..%.Fixe|
|00000320| 64 20 61 20 62 75 67 20 | 69 6e 20 74 68 65 20 70 |d a bug |in the p|
|00000330| 72 6f 6f 66 20 65 6e 76 | 69 72 6f 6e 6d 65 6e 74 |roof env|ironment|
|00000340| 20 28 68 61 64 20 61 20 | 6e 61 6d 65 20 63 6c 61 | (had a |name cla|
|00000350| 73 68 20 77 69 74 68 20 | 6c 61 74 65 78 29 2e 0a |sh with |latex)..|
|00000360| 25 09 0a 25 09 52 65 76 | 69 73 69 6f 6e 20 32 2e |%..%.Rev|ision 2.|
|00000370| 31 20 20 38 36 2f 31 31 | 2f 32 34 20 20 31 33 3a |1  86/11|/24  13:|
|00000380| 30 38 3a 33 34 20 20 6d | 69 77 0a 25 09 2a 2a 2a |08:34  m|iw.%.***|
|00000390| 2a 20 4d 41 4a 4f 52 20 | 52 45 57 52 49 54 45 2f |* MAJOR |REWRITE/|
|000003a0| 45 58 54 45 4e 53 49 4f | 4e 20 2a 2a 2a 2a 0a 25 |EXTENSIO|N ****.%|
|000003b0| 09 0a 25 09 45 6e 74 72 | 79 20 74 6f 20 74 68 65 |..%.Entr|y to the|
|000003c0| 20 76 64 6d 20 65 6e 76 | 20 6e 6f 77 20 69 73 20 | vdm env| now is |
|000003d0| 61 20 6e 6f 2d 6f 70 21 | 0a 25 09 4e 6f 20 6d 61 |a no-op!|.%.No ma|
|000003e0| 74 68 63 6f 64 65 20 63 | 68 61 6e 67 65 73 20 74 |thcode c|hanges t|
|000003f0| 6f 20 67 65 74 20 74 68 | 65 20 72 69 67 68 74 20 |o get th|e right |
|00000400| 6c 65 74 74 65 72 73 20 | 69 6e 20 6d 61 74 68 20 |letters |in math |
|00000410| 6d 6f 64 65 2e 0a 25 09 | 44 6f 75 62 6c 65 20 71 |mode..%.|Double q|
|00000420| 75 6f 74 65 73 20 6e 6f | 77 20 64 65 6c 69 6d 69 |uotes no|w delimi|
|00000430| 74 20 74 65 78 74 20 69 | 6e 20 6d 61 74 68 20 6d |t text i|n math m|
|00000440| 6f 64 65 2e 0a 25 09 5c | 62 61 73 65 6c 69 6e 65 |ode..%.\|baseline|
|00000450| 73 6b 69 70 20 77 69 74 | 68 69 6e 20 76 64 6d 20 |skip wit|hin vdm |
|00000460| 6d 6f 64 65 20 69 73 20 | 6e 6f 77 20 5c 56 44 4d |mode is |now \VDM|
|00000470| 62 61 73 65 6c 69 6e 65 | 73 6b 69 70 2e 0a 25 09 |baseline|skip..%.|
|00000480| 41 64 64 65 64 20 74 68 | 65 20 5c 61 6d 73 73 79 |Added th|e \amssy|
|00000490| 20 66 6f 6e 74 2e 0a 25 | 09 56 65 72 74 69 63 61 | font..%|.Vertica|
|000004a0| 6c 20 56 44 4d 20 74 68 | 69 6e 67 73 20 28 6f 70 |l VDM th|ings (op|
|000004b0| 73 2c 20 66 6e 73 2c 20 | 65 74 63 29 20 73 68 6f |s, fns, |etc) sho|
|000004c0| 75 6c 64 6e 27 74 20 6e | 65 65 64 20 62 6c 61 6e |uldn't n|eed blan|
|000004d0| 6b 20 6c 69 6e 65 73 20 | 61 72 6f 75 6e 64 20 74 |k lines |around t|
|000004e0| 68 65 6d 2e 0a 25 09 4c | 65 74 20 74 68 65 20 75 |hem..%.L|et the u|
|000004f0| 73 65 72 20 63 68 6f 6f | 73 65 20 77 68 65 74 68 |ser choo|se wheth|
|00000500| 65 72 20 73 6f 6d 65 20 | 74 68 69 6e 67 73 20 61 |er some |things a|
|00000510| 72 65 20 6c 65 66 74 2d | 20 6f 72 20 72 69 67 68 |re left-| or righ|
|00000520| 74 2d 61 6c 69 67 6e 65 | 64 2e 0a 25 09 41 64 64 |t-aligne|d..%.Add|
|00000530| 65 64 20 2a 2d 66 6f 72 | 6d 73 20 6f 66 20 71 75 |ed *-for|ms of qu|
|00000540| 61 6e 74 69 66 69 65 72 | 73 2e 0a 25 09 41 64 64 |antifier|s..%.Add|
|00000550| 65 64 20 63 6f 6d 70 6f | 73 69 74 65 20 65 6e 76 |ed compo|site env|
|00000560| 20 61 6e 64 20 5c 73 63 | 6f 6d 70 6f 73 65 2e 0a | and \sc|ompose..|
|00000570| 25 09 41 64 64 65 64 20 | 70 72 6f 6f 66 20 65 6e |%.Added |proof en|
|00000580| 76 2e 0a 25 09 0a 25 09 | 52 65 76 69 73 69 6f 6e |v..%..%.|Revision|
|00000590| 20 31 2e 38 20 20 38 36 | 2f 31 30 2f 30 38 20 20 | 1.8  86|/10/08  |
|000005a0| 31 34 3a 31 31 3a 33 36 | 20 20 6d 69 77 0a 25 09 |14:11:36|  miw.%.|
|000005b0| 43 68 61 6e 67 65 64 20 | 5c 6f 72 2c 20 5c 72 64 |Changed |\or, \rd|
|000005c0| 2c 20 5c 77 72 20 74 6f | 20 5c 4f 72 2c 20 5c 52 |, \wr to| \Or, \R|
|000005d0| 64 2c 20 5c 57 72 2e 0a | 25 09 43 68 61 6e 67 65 |d, \Wr..|%.Change|
|000005e0| 64 20 6b 65 79 77 6f 72 | 64 20 66 6f 6e 74 20 74 |d keywor|d font t|
|000005f0| 6f 20 73 61 6e 73 2d 73 | 65 72 69 66 2e 0a 25 09 |o sans-s|erif..%.|
|00000600| 43 68 61 6e 67 65 64 20 | 5c 6d 61 6b 65 4e 65 77 |Changed |\makeNew|
|00000610| 4b 65 79 77 6f 72 64 20 | 74 6f 20 75 73 65 20 5c |Keyword |to use \|
|00000620| 6e 65 77 63 6f 6d 6d 61 | 6e 64 2e 0a 25 09 41 64 |newcomma|nd..%.Ad|
|00000630| 64 65 64 20 5c 77 68 65 | 72 65 20 6b 65 79 77 6f |ded \whe|re keywo|
|00000640| 72 64 2e 0a 25 09 43 68 | 61 6e 67 65 64 20 5c 4e |rd..%.Ch|anged \N|
|00000650| 61 74 2c 20 5c 49 6e 74 | 2c 20 5c 42 6f 6f 6c 2c |at, \Int|, \Bool,|
|00000660| 20 5c 52 65 61 6c 20 74 | 6f 20 75 73 65 20 60 62 | \Real t|o use `b|
|00000670| 6c 61 63 6b 62 6f 61 72 | 64 27 20 66 6f 6e 74 2e |lackboar|d' font.|
|00000680| 0a 25 09 41 64 64 65 64 | 20 60 53 74 72 61 63 68 |.%.Added| `Strach|
|00000690| 65 79 20 62 72 61 63 6b | 65 74 73 27 20 75 73 69 |ey brack|ets' usi|
|000006a0| 6e 67 20 5c 74 65 72 6d | 2e 0a 25 09 41 64 64 65 |ng \term|..%.Adde|
|000006b0| 64 20 66 75 6e 63 74 69 | 6f 6e 20 63 6f 6d 70 6f |d functi|on compo|
|000006c0| 73 69 74 69 6f 6e 2c 20 | 5c 63 6f 6d 70 66 2e 0a |sition, |\compf..|
|000006d0| 25 09 41 64 64 65 64 20 | 61 20 2a 2d 66 6f 72 6d |%.Added |a *-form|
|000006e0| 20 74 6f 20 74 68 65 20 | 66 6e 20 65 6e 76 69 72 | to the |fn envir|
|000006f0| 6f 6e 6d 65 6e 74 20 74 | 6f 20 6f 6d 69 74 20 70 |onment t|o omit p|
|00000700| 61 72 65 6e 73 20 6f 6e | 20 61 72 67 73 2e 0a 25 |arens on| args..%|
|00000710| 09 41 64 64 65 64 20 61 | 20 2a 2d 66 6f 72 6d 20 |.Added a| *-form |
|00000720| 74 6f 20 5c 4c 61 6d 62 | 64 61 46 6e 20 74 6f 20 |to \Lamb|daFn to |
|00000730| 70 6c 61 63 65 20 62 6f | 64 79 20 6f 6e 20 61 20 |place bo|dy on a |
|00000740| 6e 65 77 20 6c 69 6e 65 | 2e 0a 25 09 41 64 64 65 |new line|..%.Adde|
|00000750| 64 20 5c 6d 69 6e 20 61 | 6e 64 20 5c 6d 61 78 20 |d \min a|nd \max |
|00000760| 6d 6f 6e 61 64 69 63 20 | 6f 70 65 72 61 74 6f 72 |monadic |operator|
|00000770| 73 2e 0a 25 09 43 68 61 | 6e 67 65 64 20 5c 73 65 |s..%.Cha|nged \se|
|00000780| 72 64 20 61 6e 64 20 5c | 62 75 73 64 20 74 6f 20 |rd and \|busd to |
|00000790| 5c 72 72 65 73 20 61 6e | 64 20 5c 72 73 75 62 2e |\rres an|d \rsub.|
|000007a0| 0a 25 09 41 64 64 65 64 | 20 5c 63 6f 6e 73 74 20 |.%.Added| \const |
|000007b0| 66 6f 72 20 63 6f 6e 73 | 74 61 6e 74 73 2e 0a 25 |for cons|tants..%|
|000007c0| 0a 25 09 52 65 76 69 73 | 69 6f 6e 20 31 2e 37 20 |.%.Revis|ion 1.7 |
|000007d0| 20 38 36 2f 30 38 2f 31 | 34 20 20 31 37 3a 35 32 | 86/08/1|4  17:52|
|000007e0| 3a 33 32 20 20 6d 69 77 | 0a 25 09 46 69 78 65 64 |:32  miw|.%.Fixed|
|000007f0| 20 62 75 67 73 20 69 6e | 20 76 64 6d 66 6e 20 61 | bugs in| vdmfn a|
|00000800| 6e 64 20 76 64 6d 6f 70 | 2e 0a 25 09 4d 6f 76 65 |nd vdmop|..%.Move|
|00000810| 64 20 74 68 65 20 70 72 | 65 2e 2e 48 6f 6f 6b 73 |d the pr|e..Hooks|
|00000820| 20 69 6e 20 6f 70 65 72 | 61 74 69 6f 6e 73 20 61 | in oper|ations a|
|00000830| 6e 64 20 66 75 6e 63 74 | 69 6f 6e 73 20 74 6f 20 |nd funct|ions to |
|00000840| 6f 63 63 75 72 20 65 61 | 72 6c 69 65 72 0a 25 09 |occur ea|rlier.%.|
|00000850| 28 61 6c 6c 6f 77 73 20 | 6f 6e 65 20 74 6f 20 63 |(allows |one to c|
|00000860| 68 61 6e 67 65 20 62 61 | 73 65 6c 69 6e 65 73 6b |hange ba|selinesk|
|00000870| 69 70 29 2e 0a 25 0a 25 | 09 52 65 76 69 73 69 6f |ip)..%.%|.Revisio|
|00000880| 6e 20 31 2e 36 20 20 38 | 36 2f 30 36 2f 30 33 20 |n 1.6  8|6/06/03 |
|00000890| 20 31 32 3a 32 33 3a 30 | 35 20 20 6d 69 77 0a 25 | 12:23:0|5  miw.%|
|000008a0| 09 41 64 64 65 64 20 74 | 68 65 20 66 6f 72 6d 75 |.Added t|he formu|
|000008b0| 6c 61 20 65 6e 76 2c 20 | 61 6e 64 20 66 69 78 65 |la env, |and fixe|
|000008c0| 64 20 61 20 62 75 67 20 | 69 6e 20 5c 74 79 70 65 |d a bug |in \type|
|000008d0| 2e 0a 25 09 0a 25 09 0a | 25 09 52 65 76 69 73 69 |..%..%..|%.Revisi|
|000008e0| 6f 6e 20 31 2e 35 20 20 | 38 36 2f 30 35 2f 30 37 |on 1.5  |86/05/07|
|000008f0| 20 20 31 37 3a 35 31 3a | 34 38 20 20 6d 69 77 0a |  17:51:|48  miw.|
|00000900| 25 09 50 61 72 61 6d 65 | 74 65 72 69 73 65 64 20 |%.Parame|terised |
|00000910| 6d 6f 72 65 20 76 65 72 | 74 69 63 61 6c 20 73 6b |more ver|tical sk|
|00000920| 69 70 73 2e 20 20 43 68 | 61 6e 67 65 64 20 6d 61 |ips.  Ch|anged ma|
|00000930| 6e 79 20 64 69 6d 65 6e | 73 69 6f 6e 73 20 66 72 |ny dimen|sions fr|
|00000940| 6f 6d 20 70 74 73 0a 25 | 09 74 6f 20 65 78 73 2e |om pts.%|.to exs.|
|00000950| 20 20 46 69 78 65 64 20 | 61 20 62 75 67 20 69 6e |  Fixed |a bug in|
|00000960| 20 5c 74 79 70 65 2e 20 | 20 41 6c 74 65 72 65 64 | \type. | Altered|
|00000970| 20 65 78 74 65 72 6e 61 | 6c 73 20 73 6f 20 74 68 | externa|ls so th|
|00000980| 61 74 20 66 69 65 6c 64 | 20 6e 61 6d 65 73 0a 25 |at field| names.%|
|00000990| 09 61 72 65 20 66 6c 75 | 73 68 20 72 69 67 68 74 |.are flu|sh right|
|000009a0| 2e 0a 25 09 0a 25 09 52 | 65 76 69 73 69 6f 6e 20 |..%..%.R|evision |
|000009b0| 31 2e 34 20 20 38 36 2f | 30 34 2f 31 37 20 20 31 |1.4  86/|04/17  1|
|000009c0| 31 3a 30 39 3a 30 34 20 | 20 6d 69 77 0a 25 09 54 |1:09:04 | miw.%.T|
|000009d0| 77 65 61 6b 65 64 20 73 | 6f 6d 65 20 6d 6f 72 65 |weaked s|ome more|
|000009e0| 2e 0a 25 0a 25 09 52 65 | 76 69 73 69 6f 6e 20 31 |..%.%.Re|vision 1|
|000009f0| 2e 33 20 38 36 2f 30 33 | 2f 31 34 20 32 30 3a 34 |.3 86/03|/14 20:4|
|00000a00| 34 3a 32 32 20 6d 69 77 | 0a 25 09 41 64 64 65 64 |4:22 miw|.%.Added|
|00000a10| 20 6c 65 66 74 20 6d 61 | 72 67 69 6e 20 63 6f 6e | left ma|rgin con|
|00000a20| 74 72 6f 6c 20 77 69 74 | 68 20 5c 56 44 4d 69 6e |trol wit|h \VDMin|
|00000a30| 64 65 6e 74 2e 0a 25 09 | 54 77 65 61 6b 65 64 20 |dent..%.|Tweaked |
|00000a40| 73 6f 6d 65 20 70 65 6e | 61 6c 74 69 65 73 20 28 |some pen|alties (|
|00000a50| 65 73 70 2e 20 5c 68 79 | 70 68 65 6e 70 65 6e 61 |esp. \hy|phenpena|
|00000a60| 6c 74 79 29 2d 2d 2d 66 | 69 72 73 74 20 75 73 65 |lty)---f|irst use|
|00000a70| 20 6f 66 20 61 0a 25 09 | 5c 64 69 73 63 72 65 74 | of a.%.|\discret|
|00000a80| 69 6f 6e 61 72 79 20 69 | 6e 20 71 75 61 6e 74 69 |ionary i|n quanti|
|00000a90| 66 69 65 64 20 65 78 70 | 72 65 73 73 73 69 6f 6e |fied exp|resssion|
|00000aa0| 2e 0a 25 09 46 69 78 65 | 64 20 61 20 62 75 67 20 |..%.Fixe|d a bug |
|00000ab0| 69 6e 20 49 6e 64 65 6e | 74 65 64 50 61 72 61 20 |in Inden|tedPara |
|00000ac0| 28 75 73 69 6e 67 20 62 | 6f 78 30 20 69 6e 73 74 |(using b|ox0 inst|
|00000ad0| 65 61 64 20 6f 66 20 63 | 6f 70 79 30 29 0a 25 09 |ead of c|opy0).%.|
|00000ae0| 0a 25 09 52 65 76 69 73 | 69 6f 6e 20 31 2e 32 20 |.%.Revis|ion 1.2 |
|00000af0| 20 38 36 2f 30 33 2f 31 | 32 20 20 31 36 3a 32 36 | 86/03/1|2  16:26|
|00000b00| 3a 32 33 20 20 6d 69 77 | 0a 25 09 43 68 61 6e 67 |:23  miw|.%.Chang|
|00000b10| 65 64 20 74 68 65 20 66 | 6e 20 65 6e 76 2e 20 61 |ed the f|n env. a|
|00000b20| 6e 64 20 5c 43 61 73 65 | 73 2e 20 20 41 64 64 65 |nd \Case|s.  Adde|
|00000b30| 64 20 5c 40 72 61 67 67 | 65 64 52 69 67 68 74 2e |d \@ragg|edRight.|
|00000b40| 0a 25 09 46 69 78 65 64 | 20 6c 6f 74 73 20 6f 66 |.%.Fixed| lots of|
|00000b50| 20 6f 74 68 65 72 20 6d | 69 6e 6f 72 20 74 68 69 | other m|inor thi|
|00000b60| 6e 67 73 2e 0a 25 0a 25 | 09 52 65 76 69 73 69 6f |ngs..%.%|.Revisio|
|00000b70| 6e 20 31 2e 31 20 20 38 | 36 2f 30 33 2f 30 33 20 |n 1.1  8|6/03/03 |
|00000b80| 20 31 38 3a 34 32 3a 34 | 30 20 20 6d 69 77 0a 25 | 18:42:4|0  miw.%|
|00000b90| 09 49 6e 69 74 69 61 6c | 20 72 65 76 69 73 69 6f |.Initial| revisio|
|00000ba0| 6e 0a 25 0a 25 0a 25 09 | 24 48 65 61 64 65 72 3a |n.%.%.%.|$Header:|
|00000bb0| 20 76 64 6d 2e 64 6f 63 | 2c 76 20 32 2e 33 20 38 | vdm.doc|,v 2.3 8|
|00000bc0| 37 2f 30 32 2f 32 36 20 | 31 31 3a 33 36 3a 30 37 |7/02/26 |11:36:07|
|00000bd0| 20 6d 69 77 20 45 78 70 | 20 24 0a 25 0a 25 0a 25 | miw Exp| $.%.%.%|
|00000be0| 0a 25 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |.%------|--------|
|00000bf0| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00000c00| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00000c10| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00000c20| 2d 2d 0a 25 0a 25 09 49 | 6e 73 74 61 6c 6c 61 74 |--.%.%.I|nstallat|
|00000c30| 69 6f 6e 2d 64 65 70 65 | 6e 64 65 6e 74 20 66 65 |ion-depe|ndent fe|
|00000c40| 61 74 75 72 65 0a 25 0a | 5c 64 65 66 5c 40 66 6d |ature.%.|\def\@fm|
|00000c50| 74 6e 61 6d 65 7b 6c 70 | 6c 61 69 6e 7d 25 20 46 |tname{lp|lain}% F|
|00000c60| 4f 4e 54 2d 43 55 53 54 | 4f 4d 49 5a 49 4e 47 0a |ONT-CUST|OMIZING.|
|00000c70| 5c 6e 65 77 66 61 6d 5c | 61 6d 73 73 79 66 61 6d |\newfam\|amssyfam|
|00000c80| 09 25 20 74 68 65 20 59 | 20 73 65 72 69 65 73 20 |.% the Y| series |
|00000c90| 6f 66 20 41 4d 53 20 66 | 6f 6e 74 73 0a 25 5c 69 |of AMS f|onts.%\i|
|00000ca0| 66 78 5c 66 6d 74 6e 61 | 6d 65 5c 40 66 6d 74 6e |fx\fmtna|me\@fmtn|
|00000cb0| 61 6d 65 20 20 25 20 63 | 68 61 6e 67 65 20 74 6f |ame  % c|hange to|
|00000cc0| 20 5c 69 66 66 61 6c 73 | 65 20 69 66 20 79 6f 75 | \iffals|e if you|
|00000cd0| 20 64 6f 6e 27 74 20 68 | 61 76 65 20 74 68 65 20 | don't h|ave the |
|00000ce0| 41 4d 53 20 66 6f 6e 74 | 73 0a 5c 69 66 66 61 6c |AMS font|s.\iffal|
|00000cf0| 73 65 09 09 25 20 63 68 | 61 6e 67 65 20 74 6f 20 |se..% ch|ange to |
|00000d00| 5c 69 66 78 5c 66 6d 74 | 6e 61 6d 65 5c 40 66 6d |\ifx\fmt|name\@fm|
|00000d10| 74 6e 61 6d 65 20 69 66 | 20 79 6f 75 20 68 61 76 |tname if| you hav|
|00000d20| 65 20 74 68 65 6d 0a 09 | 5c 67 64 65 66 5c 61 6d |e them..|\gdef\am|
|00000d30| 73 73 79 7b 5c 70 72 6f | 74 65 63 74 5c 70 61 6d |ssy{\pro|tect\pam|
|00000d40| 73 73 79 7d 20 25 20 5c | 61 6d 73 73 79 20 77 69 |ssy} % \|amssy wi|
|00000d50| 6c 6c 20 63 68 61 6e 67 | 65 20 66 6f 6e 74 20 6a |ll chang|e font j|
|00000d60| 75 73 74 20 6c 69 6b 65 | 20 5c 62 66 0a 09 25 20 |ust like| \bf..% |
|00000d70| 73 65 65 20 74 68 65 20 | 54 65 58 62 6f 6f 6b 2c |see the |TeXbook,|
|00000d80| 20 70 32 31 36 20 74 6f | 20 73 65 65 20 77 68 61 | p216 to| see wha|
|00000d90| 74 27 73 20 67 6f 69 6e | 67 20 6f 6e 20 68 65 72 |t's goin|g on her|
|00000da0| 65 0a 09 5c 64 65 66 5c | 40 61 64 64 74 6f 23 31 |e..\def\|@addto#1|
|00000db0| 23 32 7b 5c 69 66 78 23 | 31 5c 75 6e 64 65 66 69 |#2{\ifx#|1\undefi|
|00000dc0| 6e 65 64 20 25 20 64 6f | 20 6e 6f 74 68 69 6e 67 |ned % do| nothing|
|00000dd0| 0a 09 20 20 20 20 09 09 | 5c 65 6c 73 65 09 5c 74 |..    ..|\else.\t|
|00000de0| 6f 6b 73 30 3d 5c 65 78 | 70 61 6e 64 61 66 74 65 |oks0=\ex|pandafte|
|00000df0| 72 7b 23 31 7d 5c 74 6f | 6b 73 31 3d 7b 23 32 7d |r{#1}\to|ks1={#2}|
|00000e00| 25 0a 09 09 09 09 5c 67 | 6c 6f 62 61 6c 5c 65 64 |%.....\g|lobal\ed|
|00000e10| 65 66 23 31 7b 5c 74 68 | 65 5c 74 6f 6b 73 30 20 |ef#1{\th|e\toks0 |
|00000e20| 5c 74 68 65 5c 74 6f 6b | 73 31 20 7d 5c 66 69 7d |\the\tok|s1 }\fi}|
|00000e30| 0a 09 5c 40 61 64 64 74 | 6f 5c 76 70 74 7b 5c 64 |..\@addt|o\vpt{\d|
|00000e40| 65 66 5c 70 61 6d 73 73 | 79 7b 5c 40 67 65 74 66 |ef\pamss|y{\@getf|
|00000e50| 6f 6e 74 5c 70 61 6d 73 | 73 79 5c 61 6d 73 73 79 |ont\pams|sy\amssy|
|00000e60| 66 61 6d 5c 40 76 70 74 | 7b 6d 73 79 6d 35 7d 7d |fam\@vpt|{msym5}}|
|00000e70| 7d 0a 09 5c 40 61 64 64 | 74 6f 5c 76 70 74 7b 5c |}..\@add|to\vpt{\|
|00000e80| 64 65 66 5c 70 61 6d 73 | 73 79 7b 5c 40 67 65 74 |def\pams|sy{\@get|
|00000e90| 66 6f 6e 74 5c 70 61 6d | 73 73 79 5c 61 6d 73 73 |font\pam|ssy\amss|
|00000ea0| 79 66 61 6d 5c 40 76 70 | 74 7b 6d 73 79 6d 35 7d |yfam\@vp|t{msym5}|
|00000eb0| 7d 7d 0a 09 5c 40 61 64 | 64 74 6f 5c 76 69 70 74 |}}..\@ad|dto\vipt|
|00000ec0| 7b 5c 64 65 66 5c 70 61 | 6d 73 73 79 7b 5c 40 67 |{\def\pa|mssy{\@g|
|00000ed0| 65 74 66 6f 6e 74 5c 70 | 61 6d 73 73 79 5c 61 6d |etfont\p|amssy\am|
|00000ee0| 73 73 79 66 61 6d 5c 40 | 76 69 70 74 7b 6d 73 79 |ssyfam\@|vipt{msy|
|00000ef0| 6d 36 7d 7d 7d 0a 09 5c | 40 61 64 64 74 6f 5c 76 |m6}}}..\|@addto\v|
|00000f00| 69 69 70 74 7b 5c 64 65 | 66 5c 70 61 6d 73 73 79 |iipt{\de|f\pamssy|
|00000f10| 7b 5c 40 67 65 74 66 6f | 6e 74 5c 70 61 6d 73 73 |{\@getfo|nt\pamss|
|00000f20| 79 5c 61 6d 73 73 79 66 | 61 6d 5c 40 76 69 69 70 |y\amssyf|am\@viip|
|00000f30| 74 7b 6d 73 79 6d 37 7d | 7d 7d 0a 09 5c 40 61 64 |t{msym7}|}}..\@ad|
|00000f40| 64 74 6f 5c 76 69 69 69 | 70 74 7b 5c 64 65 66 5c |dto\viii|pt{\def\|
|00000f50| 70 61 6d 73 73 79 7b 5c | 40 67 65 74 66 6f 6e 74 |pamssy{\|@getfont|
|00000f60| 5c 70 61 6d 73 73 79 5c | 61 6d 73 73 79 66 61 6d |\pamssy\|amssyfam|
|00000f70| 5c 40 76 69 69 69 70 74 | 7b 6d 73 79 6d 38 7d 7d |\@viiipt|{msym8}}|
|00000f80| 7d 0a 09 5c 40 61 64 64 | 74 6f 5c 69 78 70 74 7b |}..\@add|to\ixpt{|
|00000f90| 5c 64 65 66 5c 70 61 6d | 73 73 79 7b 5c 40 67 65 |\def\pam|ssy{\@ge|
|00000fa0| 74 66 6f 6e 74 5c 70 61 | 6d 73 73 79 5c 61 6d 73 |tfont\pa|mssy\ams|
|00000fb0| 73 79 66 61 6d 5c 40 69 | 78 70 74 7b 6d 73 79 6d |syfam\@i|xpt{msym|
|00000fc0| 39 7d 7d 7d 0a 09 5c 40 | 61 64 64 74 6f 5c 78 70 |9}}}..\@|addto\xp|
|00000fd0| 74 7b 5c 64 65 66 5c 70 | 61 6d 73 73 79 7b 5c 40 |t{\def\p|amssy{\@|
|00000fe0| 67 65 74 66 6f 6e 74 5c | 70 61 6d 73 73 79 5c 61 |getfont\|pamssy\a|
|00000ff0| 6d 73 73 79 66 61 6d 5c | 40 78 70 74 7b 6d 73 79 |mssyfam\|@xpt{msy|
|00001000| 6d 31 30 7d 7d 7d 0a 09 | 5c 40 61 64 64 74 6f 5c |m10}}}..|\@addto\|
|00001010| 78 69 70 74 7b 5c 64 65 | 66 5c 70 61 6d 73 73 79 |xipt{\de|f\pamssy|
|00001020| 7b 5c 40 67 65 74 66 6f | 6e 74 5c 70 61 6d 73 73 |{\@getfo|nt\pamss|
|00001030| 79 5c 61 6d 73 73 79 66 | 61 6d 5c 40 78 69 70 74 |y\amssyf|am\@xipt|
|00001040| 7b 6d 73 79 6d 31 30 5c | 40 68 61 6c 66 6d 61 67 |{msym10\|@halfmag|
|00001050| 7d 7d 7d 0a 09 5c 40 61 | 64 64 74 6f 5c 78 69 69 |}}}..\@a|ddto\xii|
|00001060| 70 74 7b 5c 64 65 66 5c | 70 61 6d 73 73 79 0a 09 |pt{\def\|pamssy..|
|00001070| 09 7b 5c 40 67 65 74 66 | 6f 6e 74 5c 70 61 6d 73 |.{\@getf|ont\pams|
|00001080| 73 79 5c 61 6d 73 73 79 | 66 61 6d 5c 40 78 69 69 |sy\amssy|fam\@xii|
|00001090| 70 74 7b 6d 73 79 6d 31 | 30 5c 40 6d 61 67 73 63 |pt{msym1|0\@magsc|
|000010a0| 61 6c 65 31 7d 7d 7d 0a | 09 5c 40 61 64 64 74 6f |ale1}}}.|.\@addto|
|000010b0| 5c 78 69 76 70 74 7b 5c | 64 65 66 5c 70 61 6d 73 |\xivpt{\|def\pams|
|000010c0| 73 79 0a 09 09 7b 5c 40 | 67 65 74 66 6f 6e 74 5c |sy...{\@|getfont\|
|000010d0| 70 61 6d 73 73 79 5c 61 | 6d 73 73 79 66 61 6d 5c |pamssy\a|mssyfam\|
|000010e0| 40 78 69 76 70 74 7b 6d | 73 79 6d 31 30 5c 40 6d |@xivpt{m|sym10\@m|
|000010f0| 61 67 73 63 61 6c 65 32 | 7d 7d 7d 0a 09 5c 40 61 |agscale2|}}}..\@a|
|00001100| 64 64 74 6f 5c 78 76 69 | 69 70 74 7b 5c 64 65 66 |ddto\xvi|ipt{\def|
|00001110| 5c 70 61 6d 73 73 79 0a | 09 09 7b 5c 40 67 65 74 |\pamssy.|..{\@get|
|00001120| 66 6f 6e 74 5c 70 61 6d | 73 73 79 5c 61 6d 73 73 |font\pam|ssy\amss|
|00001130| 79 66 61 6d 5c 40 78 76 | 69 69 70 74 7b 6d 73 79 |yfam\@xv|iipt{msy|
|00001140| 6d 31 30 5c 40 6d 61 67 | 73 63 61 6c 65 33 7d 7d |m10\@mag|scale3}}|
|00001150| 7d 0a 09 5c 40 61 64 64 | 74 6f 5c 78 78 70 74 7b |}..\@add|to\xxpt{|
|00001160| 5c 64 65 66 5c 70 61 6d | 73 73 79 7b 5c 40 67 65 |\def\pam|ssy{\@ge|
|00001170| 74 66 6f 6e 74 5c 70 61 | 6d 73 73 79 5c 61 6d 73 |tfont\pa|mssy\ams|
|00001180| 73 79 66 61 6d 5c 40 78 | 78 70 74 7b 6d 73 79 6d |syfam\@x|xpt{msym|
|00001190| 31 30 5c 40 6d 61 67 73 | 63 61 6c 65 34 7d 7d 7d |10\@mags|cale4}}}|
|000011a0| 0a 09 5c 40 61 64 64 74 | 6f 5c 78 78 76 70 74 7b |..\@addt|o\xxvpt{|
|000011b0| 5c 64 65 66 5c 70 61 6d | 73 73 79 0a 09 09 7b 5c |\def\pam|ssy...{\|
|000011c0| 40 67 65 74 66 6f 6e 74 | 5c 70 61 6d 73 73 79 5c |@getfont|\pamssy\|
|000011d0| 61 6d 73 73 79 66 61 6d | 5c 40 78 78 76 70 74 7b |amssyfam|\@xxvpt{|
|000011e0| 6d 73 79 6d 31 30 5c 40 | 6d 61 67 73 63 61 6c 65 |msym10\@|magscale|
|000011f0| 35 7d 7d 7d 0a 5c 65 6c | 73 65 0a 09 5c 67 6c 6f |5}}}.\el|se..\glo|
|00001200| 62 61 6c 5c 6c 65 74 5c | 61 6d 73 73 79 3d 5c 62 |bal\let\|amssy=\b|
|00001210| 66 0a 5c 66 69 0a 25 0a | 25 2d 2d 2d 2d 2d 2d 2d |f.\fi.%.|%-------|
|00001220| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00001230| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00001240| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00001250| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 0a 25 0a 25 09 54 68 |--------|-.%.%.Th|
|00001260| 65 20 76 64 6d 20 65 6e | 76 69 72 6f 6e 6d 65 6e |e vdm en|vironmen|
|00001270| 74 0a 25 0a 5c 6e 65 77 | 65 6e 76 69 72 6f 6e 6d |t.%.\new|environm|
|00001280| 65 6e 74 7b 76 64 6d 7d | 7b 5c 40 62 65 67 69 6e |ent{vdm}|{\@begin|
|00001290| 76 64 6d 7d 7b 5c 40 65 | 6e 64 76 64 6d 7d 0a 25 |vdm}{\@e|ndvdm}.%|
|000012a0| 0a 5c 64 65 66 5c 40 62 | 65 67 69 6e 76 64 6d 7b |.\def\@b|eginvdm{|
|000012b0| 5c 40 63 68 61 6e 67 65 | 4d 61 74 68 6d 6f 64 65 |\@change|Mathmode|
|000012c0| 43 61 74 63 6f 64 65 73 | 7d 0a 09 25 20 67 72 6f |Catcodes|}..% gro|
|000012d0| 75 70 69 6e 67 20 77 69 | 74 68 69 6e 20 76 64 6d |uping wi|thin vdm|
|000012e0| 20 65 6e 76 20 77 69 6c | 6c 20 63 6f 6e 74 72 6f | env wil|l contro|
|000012f0| 6c 0a 09 25 20 63 68 61 | 6e 67 65 73 20 74 6f 20 |l..% cha|nges to |
|00001300| 5c 6c 65 66 74 73 6b 69 | 70 20 61 6e 64 20 5c 62 |\leftski|p and \b|
|00001310| 61 73 65 6c 69 6e 65 73 | 6b 69 70 0a 25 20 61 66 |aselines|kip.% af|
|00001320| 74 65 72 20 61 6e 20 5c | 65 6e 64 7b 76 64 6d 7d |ter an \|end{vdm}|
|00001330| 20 74 68 65 20 6e 65 78 | 74 20 70 61 72 61 67 72 | the nex|t paragr|
|00001340| 61 70 68 20 69 73 20 6e | 6f 74 20 69 6e 64 65 6e |aph is n|ot inden|
|00001350| 74 65 64 20 75 6e 6c 65 | 73 73 20 61 20 5c 70 61 |ted unle|ss a \pa|
|00001360| 72 0a 25 20 63 6f 6d 65 | 73 20 66 69 72 73 74 0a |r.% come|s first.|
|00001370| 5c 64 65 66 5c 40 65 6e | 64 76 64 6d 7b 5c 67 6c |\def\@en|dvdm{\gl|
|00001380| 6f 62 61 6c 5c 65 76 65 | 72 79 70 61 72 3d 7b 7b |obal\eve|rypar={{|
|00001390| 5c 73 65 74 62 6f 78 30 | 3d 5c 6c 61 73 74 62 6f |\setbox0|=\lastbo|
|000013a0| 78 7d 25 0a 09 09 09 5c | 67 6c 6f 62 61 6c 5c 65 |x}%....\|global\e|
|000013b0| 76 65 72 79 70 61 72 3d | 7b 7d 25 0a 09 09 09 5c |verypar=|{}%....\|
|000013c0| 67 6c 6f 62 61 6c 5c 6c | 65 74 5c 70 61 72 3d 5c |global\l|et\par=\|
|000013d0| 40 40 70 61 72 7d 0a 09 | 5c 67 6c 6f 62 61 6c 5c |@@par}..|\global\|
|000013e0| 6c 65 74 5c 70 61 72 3d | 5c 40 75 6e 64 6f 6e 6f |let\par=|\@undono|
|000013f0| 69 6e 64 65 6e 74 7d 0a | 25 0a 5c 64 65 66 5c 40 |indent}.|%.\def\@|
|00001400| 75 6e 64 6f 6e 6f 69 6e | 64 65 6e 74 7b 5c 67 6c |undonoin|dent{\gl|
|00001410| 6f 62 61 6c 5c 65 76 65 | 72 79 70 61 72 3d 7b 7d |obal\eve|rypar={}|
|00001420| 5c 67 6c 6f 62 61 6c 5c | 6c 65 74 5c 70 61 72 3d |\global\|let\par=|
|00001430| 5c 40 40 70 61 72 5c 40 | 40 70 61 72 7d 0a 25 0a |\@@par\@|@par}.%.|
|00001440| 5c 64 65 66 5c 40 62 65 | 67 69 6e 56 65 72 74 69 |\def\@be|ginVerti|
|00001450| 63 61 6c 56 44 4d 7b 5c | 40 63 68 61 6e 67 65 4c |calVDM{\|@changeL|
|00001460| 65 66 74 4d 61 72 67 69 | 6e 5c 40 63 68 61 6e 67 |eftMargi|n\@chang|
|00001470| 65 42 61 73 65 6c 69 6e | 65 73 6b 69 70 7d 0a 25 |eBaselin|eskip}.%|
|00001480| 0a 25 20 6d 61 6b 65 20 | 61 2d 7a 41 2d 5a 20 75 |.% make |a-zA-Z u|
|00001490| 73 65 20 74 68 65 20 5c | 69 74 20 66 61 6d 69 6c |se the \|it famil|
|000014a0| 79 20 77 69 74 68 69 6e | 20 6d 61 74 68 20 6d 6f |y within| math mo|
|000014b0| 64 65 2c 20 61 6e 64 20 | 7e 20 6d 65 61 6e 20 5c |de, and |~ mean \|
|000014c0| 68 6f 6f 6b 0a 5c 6e 65 | 77 63 6f 75 6e 74 5c 40 |hook.\ne|wcount\@|
|000014d0| 6d 61 74 68 46 61 6d 69 | 6c 79 20 20 5c 40 6d 61 |mathFami|ly  \@ma|
|000014e0| 74 68 46 61 6d 69 6c 79 | 3d 5c 69 74 66 61 6d 0a |thFamily|=\itfam.|
|000014f0| 5c 65 76 65 72 79 6d 61 | 74 68 3d 5c 65 78 70 61 |\everyma|th=\expa|
|00001500| 6e 64 61 66 74 65 72 7b | 5c 74 68 65 5c 65 76 65 |ndafter{|\the\eve|
|00001510| 72 79 6d 61 74 68 5c 66 | 61 6d 5c 40 6d 61 74 68 |rymath\f|am\@math|
|00001520| 46 61 6d 69 6c 79 0a 09 | 5c 40 63 68 61 6e 67 65 |Family..|\@change|
|00001530| 4d 61 74 68 6d 6f 64 65 | 43 61 74 63 6f 64 65 73 |Mathmode|Catcodes|
|00001540| 7d 0a 5c 65 76 65 72 79 | 64 69 73 70 6c 61 79 3d |}.\every|display=|
|00001550| 5c 65 78 70 61 6e 64 61 | 66 74 65 72 7b 5c 74 68 |\expanda|fter{\th|
|00001560| 65 5c 65 76 65 72 79 64 | 69 73 70 6c 61 79 5c 66 |e\everyd|isplay\f|
|00001570| 61 6d 5c 40 6d 61 74 68 | 46 61 6d 69 6c 79 0a 09 |am\@math|Family..|
|00001580| 5c 40 63 68 61 6e 67 65 | 4d 61 74 68 6d 6f 64 65 |\@change|Mathmode|
|00001590| 43 61 74 63 6f 64 65 73 | 7d 0a 5c 6d 61 74 68 63 |Catcodes|}.\mathc|
|000015a0| 6f 64 65 60 5c 30 3d 22 | 30 30 33 30 0a 5c 6d 61 |ode`\0="|0030.\ma|
|000015b0| 74 68 63 6f 64 65 60 5c | 31 3d 22 30 30 33 31 0a |thcode`\|1="0031.|
|000015c0| 5c 6d 61 74 68 63 6f 64 | 65 60 5c 32 3d 22 30 30 |\mathcod|e`\2="00|
|000015d0| 33 32 0a 5c 6d 61 74 68 | 63 6f 64 65 60 5c 33 3d |32.\math|code`\3=|
|000015e0| 22 30 30 33 33 0a 5c 6d | 61 74 68 63 6f 64 65 60 |"0033.\m|athcode`|
|000015f0| 5c 34 3d 22 30 30 33 34 | 0a 5c 6d 61 74 68 63 6f |\4="0034|.\mathco|
|00001600| 64 65 60 5c 35 3d 22 30 | 30 33 35 0a 5c 6d 61 74 |de`\5="0|035.\mat|
|00001610| 68 63 6f 64 65 60 5c 36 | 3d 22 30 30 33 36 0a 5c |hcode`\6|="0036.\|
|00001620| 6d 61 74 68 63 6f 64 65 | 60 5c 37 3d 22 30 30 33 |mathcode|`\7="003|
|00001630| 37 0a 5c 6d 61 74 68 63 | 6f 64 65 60 5c 38 3d 22 |7.\mathc|ode`\8="|
|00001640| 30 30 33 38 0a 5c 6d 61 | 74 68 63 6f 64 65 60 5c |0038.\ma|thcode`\|
|00001650| 39 3d 22 30 30 33 39 0a | 25 0a 25 20 49 66 20 74 |9="0039.|%.% If t|
|00001660| 68 65 20 75 73 65 72 20 | 72 65 61 6c 6c 79 20 77 |he user |really w|
|00001670| 61 6e 74 73 20 74 68 65 | 20 6e 6f 72 6d 61 6c 20 |ants the| normal |
|00001680| 63 6f 64 65 73 2c 20 68 | 65 20 63 61 6e 20 63 61 |codes, h|e can ca|
|00001690| 6c 6c 20 5c 64 65 66 61 | 75 6c 74 4d 61 74 68 63 |ll \defa|ultMathc|
|000016a0| 6f 64 65 73 3a 0a 5c 64 | 65 66 5c 64 65 66 61 75 |odes:.\d|ef\defau|
|000016b0| 6c 74 4d 61 74 68 63 6f | 64 65 73 7b 5c 40 6d 61 |ltMathco|des{\@ma|
|000016c0| 74 68 46 61 6d 69 6c 79 | 3d 2d 31 7d 0a 25 0a 25 |thFamily|=-1}.%.%|
|000016d0| 20 6d 61 6b 65 20 61 20 | 3a 20 69 6e 74 6f 20 70 | make a |: into p|
|000016e0| 75 6e 63 74 75 61 74 69 | 6f 6e 2c 20 61 6e 64 20 |unctuati|on, and |
|000016f0| 61 20 2d 20 69 6e 74 6f | 20 61 20 6c 65 74 74 65 |a - into| a lette|
|00001700| 72 2c 20 7c 20 6d 65 61 | 6e 20 5c 6d 69 64 0a 5c |r, | mea|n \mid.\|
|00001710| 64 65 66 5c 40 63 68 61 | 6e 67 65 4f 74 68 65 72 |def\@cha|ngeOther|
|00001720| 4d 61 74 68 63 6f 64 65 | 73 7b 25 0a 09 5c 6d 61 |Mathcode|s{%..\ma|
|00001730| 74 68 63 6f 64 65 60 5c | 3a 3d 22 36 30 33 41 0a |thcode`\|:="603A.|
|00001740| 09 5c 6d 61 74 68 63 6f | 64 65 60 5c 2d 3d 22 30 |.\mathco|de`\-="0|
|00001750| 34 32 44 0a 09 5c 6d 61 | 74 68 63 6f 64 65 60 5c |42D..\ma|thcode`\|
|00001760| 7c 3d 22 33 32 36 41 0a | 09 5c 6d 61 74 68 63 68 ||="326A.|.\mathch|
|00001770| 61 72 64 65 66 5c 4f 72 | 3d 22 33 32 35 46 20 25 |ardef\Or|="325F %|
|00001780| 20 74 68 69 73 20 69 73 | 20 61 20 72 65 6c 20 74 | this is| a rel t|
|00001790| 6f 20 67 65 74 20 35 6d | 75 20 73 70 61 63 69 6e |o get 5m|u spacin|
|000017a0| 67 0a 7d 0a 25 0a 25 20 | 61 6c 74 65 72 6e 61 74 |g.}.%.% |alternat|
|000017b0| 69 76 65 20 75 6e 64 65 | 72 73 63 6f 72 65 0a 5c |ive unde|rscore.\|
|000017c0| 64 65 66 5c 40 56 44 4d | 75 6e 64 65 72 73 63 6f |def\@VDM|undersco|
|000017d0| 72 65 7b 5c 6c 65 61 76 | 65 76 6d 6f 64 65 5c 6b |re{\leav|evmode\k|
|000017e0| 65 72 6e 2e 30 36 65 6d | 0a 09 5c 76 62 6f 78 7b |ern.06em|..\vbox{|
|000017f0| 5c 68 72 75 6c 65 20 68 | 65 69 67 68 74 2e 32 65 |\hrule h|eight.2e|
|00001800| 78 20 77 69 64 74 68 2e | 33 65 6d 7d 5c 68 73 6b |x width.|3em}\hsk|
|00001810| 69 70 30 2e 31 65 6d 7d | 0a 25 0a 25 20 6e 6f 77 |ip0.1em}|.%.% now|
|00001820| 20 72 65 71 75 69 72 65 | 20 73 6f 6d 65 20 63 61 | require| some ca|
|00001830| 74 63 6f 64 65 20 74 72 | 69 63 6b 65 72 79 20 74 |tcode tr|ickery t|
|00001840| 6f 20 65 6e 61 62 6c 65 | 20 75 73 20 74 6f 20 63 |o enable| us to c|
|00001850| 68 61 6e 67 65 20 5f 20 | 77 68 65 6e 20 77 65 20 |hange _ |when we |
|00001860| 77 61 6e 74 20 74 6f 0a | 7b 5c 63 61 74 63 6f 64 |want to.|{\catcod|
|00001870| 65 60 5c 5f 3d 5c 61 63 | 74 69 76 65 20 5c 63 61 |e`\_=\ac|tive \ca|
|00001880| 74 63 6f 64 65 60 5c 22 | 3d 5c 61 63 74 69 76 65 |tcode`\"|=\active|
|00001890| 0a 5c 67 64 65 66 5c 40 | 63 68 61 6e 67 65 47 6c |.\gdef\@|changeGl|
|000018a0| 6f 62 61 6c 43 61 74 63 | 6f 64 65 73 7b 25 20 6d |obalCatc|odes{% m|
|000018b0| 61 6b 65 20 5f 20 61 20 | 6e 6f 72 6d 61 6c 20 63 |ake _ a |normal c|
|000018c0| 68 61 72 0a 09 5c 63 61 | 74 63 6f 64 65 60 5c 5f |har..\ca|tcode`\_|
|000018d0| 3d 5c 61 63 74 69 76 65 | 20 5c 6c 65 74 5f 3d 5c |=\active| \let_=\|
|000018e0| 40 56 44 4d 75 6e 64 65 | 72 73 63 6f 72 65 7d 0a |@VDMunde|rscore}.|
|000018f0| 5c 67 64 65 66 5c 40 63 | 68 61 6e 67 65 4d 61 74 |\gdef\@c|hangeMat|
|00001900| 68 6d 6f 64 65 43 61 74 | 63 6f 64 65 73 7b 25 20 |hmodeCat|codes{% |
|00001910| 6d 61 6b 65 20 7e 20 6d | 65 61 6e 20 5c 68 6f 6f |make ~ m|ean \hoo|
|00001920| 6b 2c 20 22 20 64 6f 20 | 74 65 78 74 2c 20 40 20 |k, " do |text, @ |
|00001930| 6d 65 61 6e 20 73 75 62 | 73 63 72 69 70 74 0a 09 |mean sub|script..|
|00001940| 5c 6c 65 74 7e 3d 5c 68 | 6f 6f 6b 0a 09 5c 63 61 |\let~=\h|ook..\ca|
|00001950| 74 63 6f 64 65 60 5c 40 | 3d 38 0a 09 5c 63 61 74 |tcode`\@|=8..\cat|
|00001960| 63 6f 64 65 60 5c 22 3d | 5c 61 63 74 69 76 65 20 |code`\"=|\active |
|00001970| 20 5c 6c 65 74 22 3d 5c | 40 6d 61 74 68 54 65 78 | \let"=\|@mathTex|
|00001980| 74 7d 0a 5c 67 64 65 66 | 5c 75 6e 64 65 72 73 63 |t}.\gdef|\undersc|
|00001990| 6f 72 65 6f 66 66 7b 25 | 20 6d 61 6b 65 20 5f 20 |oreoff{%| make _ |
|000019a0| 61 20 6e 6f 72 6d 61 6c | 20 63 68 61 72 0a 09 5c |a normal| char..\|
|000019b0| 63 61 74 63 6f 64 65 60 | 5c 5f 3d 5c 61 63 74 69 |catcode`|\_=\acti|
|000019c0| 76 65 20 5c 6c 65 74 5f | 3d 5c 40 56 44 4d 75 6e |ve \let_|=\@VDMun|
|000019d0| 64 65 72 73 63 6f 72 65 | 7d 0a 5c 67 64 65 66 5c |derscore|}.\gdef\|
|000019e0| 75 6e 64 65 72 73 63 6f | 72 65 6f 6e 7b 25 20 72 |undersco|reon{% r|
|000019f0| 65 73 74 6f 72 65 20 75 | 6e 64 65 72 73 63 6f 72 |estore u|nderscor|
|00001a00| 65 20 74 6f 20 75 73 75 | 61 6c 20 6d 65 61 6e 69 |e to usu|al meani|
|00001a10| 6e 67 0a 09 5c 63 61 74 | 63 6f 64 65 60 5c 5f 3d |ng..\cat|code`\_=|
|00001a20| 38 7d 0a 5c 67 64 65 66 | 5c 40 6d 61 74 68 54 65 |8}.\gdef|\@mathTe|
|00001a30| 78 74 23 31 22 7b 5c 68 | 62 6f 78 7b 5c 6d 61 74 |xt#1"{\h|box{\mat|
|00001a40| 68 54 65 78 74 46 6f 6e | 74 20 23 31 5c 2f 7d 7d |hTextFon|t #1\/}}|
|00001a50| 7d 0a 25 0a 5c 64 65 66 | 5c 6d 61 74 68 54 65 78 |}.%.\def|\mathTex|
|00001a60| 74 46 6f 6e 74 7b 5c 72 | 6d 7d 0a 25 0a 5c 6e 65 |tFont{\r|m}.%.\ne|
|00001a70| 77 64 69 6d 65 6e 5c 56 | 44 4d 69 6e 64 65 6e 74 |wdimen\V|DMindent|
|00001a80| 20 5c 56 44 4d 69 6e 64 | 65 6e 74 3d 5c 70 61 72 | \VDMind|ent=\par|
|00001a90| 69 6e 64 65 6e 74 0a 5c | 64 65 66 5c 56 44 4d 62 |indent.\|def\VDMb|
|00001aa0| 61 73 65 6c 69 6e 65 73 | 6b 69 70 7b 5c 62 61 73 |aselines|kip{\bas|
|00001ab0| 65 6c 69 6e 65 73 6b 69 | 70 7d 0a 25 0a 5c 64 65 |elineski|p}.%.\de|
|00001ac0| 66 5c 40 63 68 61 6e 67 | 65 4c 65 66 74 4d 61 72 |f\@chang|eLeftMar|
|00001ad0| 67 69 6e 7b 5c 6c 65 66 | 74 73 6b 69 70 3d 5c 56 |gin{\lef|tskip=\V|
|00001ae0| 44 4d 69 6e 64 65 6e 74 | 7d 0a 5c 64 65 66 5c 40 |DMindent|}.\def\@|
|00001af0| 63 68 61 6e 67 65 42 61 | 73 65 6c 69 6e 65 73 6b |changeBa|selinesk|
|00001b00| 69 70 7b 5c 62 61 73 65 | 6c 69 6e 65 73 6b 69 70 |ip{\base|lineskip|
|00001b10| 3d 5c 56 44 4d 62 61 73 | 65 6c 69 6e 65 73 6b 69 |=\VDMbas|elineski|
|00001b20| 70 7d 0a 25 0a 25 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |p}.%.%--|--------|
|00001b30| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00001b40| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00001b50| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00001b60| 2d 2d 2d 2d 2d 2d 0a 25 | 0a 25 09 4b 65 79 77 6f |------.%|.%.Keywo|
|00001b70| 72 64 73 0a 25 0a 5c 69 | 66 78 5c 66 6d 74 6e 61 |rds.%.\i|fx\fmtna|
|00001b80| 6d 65 5c 40 66 6d 74 6e | 61 6d 65 0a 09 5c 64 65 |me\@fmtn|ame..\de|
|00001b90| 66 5c 6b 65 79 77 6f 72 | 64 46 6f 6e 74 42 65 67 |f\keywor|dFontBeg|
|00001ba0| 69 6e 53 65 71 75 65 6e | 63 65 7b 5c 73 6d 61 6c |inSequen|ce{\smal|
|00001bb0| 6c 5c 73 66 7d 25 09 75 | 73 65 72 2d 64 65 66 69 |l\sf}%.u|ser-defi|
|00001bc0| 6e 61 62 6c 65 0a 5c 65 | 6c 73 65 0a 09 5c 64 65 |nable.\e|lse..\de|
|00001bd0| 66 5c 6b 65 79 77 6f 72 | 64 46 6f 6e 74 42 65 67 |f\keywor|dFontBeg|
|00001be0| 69 6e 53 65 71 75 65 6e | 63 65 7b 5c 62 66 7d 25 |inSequen|ce{\bf}%|
|00001bf0| 09 67 6f 6f 64 20 66 6f | 72 20 53 6c 69 54 65 58 |.good fo|r SliTeX|
|00001c00| 0a 5c 66 69 0a 5c 64 65 | 66 5c 6b 77 23 31 7b 5c |.\fi.\de|f\kw#1{\|
|00001c10| 68 62 6f 78 7b 5c 6b 65 | 79 77 6f 72 64 46 6f 6e |hbox{\ke|ywordFon|
|00001c20| 74 42 65 67 69 6e 53 65 | 71 75 65 6e 63 65 20 23 |tBeginSe|quence #|
|00001c30| 31 5c 2f 7d 7d 0a 5c 64 | 65 66 5c 6d 61 6b 65 4e |1\/}}.\d|ef\makeN|
|00001c40| 65 77 4b 65 79 77 6f 72 | 64 23 31 23 32 7b 25 0a |ewKeywor|d#1#2{%.|
|00001c50| 09 5c 6e 65 77 63 6f 6d | 6d 61 6e 64 7b 23 31 7d |.\newcom|mand{#1}|
|00001c60| 7b 5c 68 62 6f 78 7b 5c | 6b 65 79 77 6f 72 64 46 |{\hbox{\|keywordF|
|00001c70| 6f 6e 74 42 65 67 69 6e | 53 65 71 75 65 6e 63 65 |ontBegin|Sequence|
|00001c80| 20 23 32 5c 2f 7d 7d 7d | 0a 25 0a 5c 6d 61 6b 65 | #2\/}}}|.%.\make|
|00001c90| 4e 65 77 4b 65 79 77 6f | 72 64 7b 5c 6e 69 6c 7d |NewKeywo|rd{\nil}|
|00001ca0| 7b 6e 69 6c 7d 0a 5c 6d | 61 6b 65 4e 65 77 4b 65 |{nil}.\m|akeNewKe|
|00001cb0| 79 77 6f 72 64 7b 5c 54 | 72 75 65 7d 7b 74 72 75 |yword{\T|rue}{tru|
|00001cc0| 65 7d 0a 5c 6d 61 6b 65 | 4e 65 77 4b 65 79 77 6f |e}.\make|NewKeywo|
|00001cd0| 72 64 7b 5c 74 72 75 65 | 7d 7b 74 72 75 65 7d 0a |rd{\true|}{true}.|
|00001ce0| 5c 6d 61 6b 65 4e 65 77 | 4b 65 79 77 6f 72 64 7b |\makeNew|Keyword{|
|00001cf0| 5c 46 61 6c 73 65 7d 7b | 66 61 6c 73 65 7d 0a 5c |\False}{|false}.\|
|00001d00| 6d 61 6b 65 4e 65 77 4b | 65 79 77 6f 72 64 7b 5c |makeNewK|eyword{\|
|00001d10| 66 61 6c 73 65 7d 7b 66 | 61 6c 73 65 7d 0a 25 0a |false}{f|alse}.%.|
|00001d20| 25 09 60 77 68 65 72 65 | 27 0a 25 0a 5c 64 65 66 |%.`where|'.%.\def|
|00001d30| 5c 77 68 65 72 65 7b 5c | 70 61 72 5c 6d 6f 76 65 |\where{\|par\move|
|00001d40| 72 69 67 68 74 5c 56 44 | 4d 69 6e 64 65 6e 74 5c |right\VD|Mindent\|
|00001d50| 68 62 6f 78 7b 5c 6b 65 | 79 77 6f 72 64 46 6f 6e |hbox{\ke|ywordFon|
|00001d60| 74 42 65 67 69 6e 53 65 | 71 75 65 6e 63 65 20 77 |tBeginSe|quence w|
|00001d70| 68 65 72 65 5c 2f 7d 7d | 0a 25 0a 25 2d 2d 2d 2d |here\/}}|.%.%----|
|00001d80| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00001d90| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00001da0| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00001db0| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 0a 25 0a 25 |--------|----.%.%|
|00001dc0| 09 6d 6f 6e 61 64 69 63 | 20 6f 70 65 72 61 74 6f |.monadic| operato|
|00001dd0| 72 20 63 72 65 61 74 69 | 6f 6e 0a 25 0a 5c 64 65 |r creati|on.%.\de|
|00001de0| 66 5c 6e 65 77 4d 6f 6e | 61 64 69 63 4f 70 65 72 |f\newMon|adicOper|
|00001df0| 61 74 6f 72 23 31 23 32 | 7b 5c 6e 65 77 63 6f 6d |ator#1#2|{\newcom|
|00001e00| 6d 61 6e 64 7b 23 31 7d | 7b 5c 6b 77 7b 23 32 5c |mand{#1}|{\kw{#2\|
|00001e10| 6b 65 72 6e 2e 31 36 36 | 36 37 65 6d 7d 5c 6e 6f |kern.166|67em}\no|
|00001e20| 62 72 65 61 6b 7d 7d 0a | 25 0a 25 0a 25 2d 2d 2d |break}}.|%.%.%---|
|00001e30| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00001e40| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00001e50| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00001e60| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 0a 25 0a |--------|-----.%.|
|00001e70| 25 09 70 72 69 6d 69 74 | 69 76 65 20 6e 75 6d 65 |%.primit|ive nume|
|00001e80| 72 69 63 20 74 79 70 65 | 73 0a 25 0a 25 20 75 73 |ric type|s.%.% us|
|00001e90| 65 20 74 68 65 20 41 4d | 53 20 66 6f 6e 74 73 20 |e the AM|S fonts |
|00001ea0| 66 6f 72 20 74 68 65 73 | 65 0a 25 0a 25 20 42 6f |for thes|e.%.% Bo|
|00001eb0| 6f 6c 65 61 6e 20 74 79 | 70 65 0a 5c 64 65 66 5c |olean ty|pe.\def\|
|00001ec0| 42 6f 6f 6c 7b 5c 68 62 | 6f 78 7b 5c 61 6d 73 73 |Bool{\hb|ox{\amss|
|00001ed0| 79 20 42 5c 2f 7d 7d 0a | 25 20 4e 61 74 75 72 61 |y B\/}}.|% Natura|
|00001ee0| 6c 20 6e 75 6d 62 65 72 | 73 0a 5c 64 65 66 5c 4e |l number|s.\def\N|
|00001ef0| 61 74 7b 5c 68 62 6f 78 | 7b 5c 61 6d 73 73 79 20 |at{\hbox|{\amssy |
|00001f00| 4e 5c 2f 7d 7d 0a 25 20 | 50 6f 73 69 74 69 76 65 |N\/}}.% |Positive|
|00001f10| 20 6e 61 74 75 72 61 6c | 20 6e 75 6d 62 65 72 73 | natural| numbers|
|00001f20| 0a 5c 64 65 66 5c 4e 61 | 74 69 7b 5c 68 62 6f 78 |.\def\Na|ti{\hbox|
|00001f30| 7b 24 5c 68 62 6f 78 7b | 5c 61 6d 73 73 79 20 4e |{$\hbox{|\amssy N|
|00001f40| 7d 5f 31 24 7d 7d 0a 5c | 6c 65 74 5c 4e 61 74 6f |}_1$}}.\|let\Nato|
|00001f50| 6e 65 3d 5c 4e 61 74 69 | 20 25 20 6a 75 73 74 20 |ne=\Nati| % just |
|00001f60| 66 6f 72 20 61 6e 20 61 | 6c 74 65 72 6e 61 74 69 |for an a|lternati|
|00001f70| 76 65 0a 25 20 49 6e 74 | 65 67 65 72 73 0a 5c 64 |ve.% Int|egers.\d|
|00001f80| 65 66 5c 49 6e 74 7b 5c | 68 62 6f 78 7b 5c 61 6d |ef\Int{\|hbox{\am|
|00001f90| 73 73 79 20 5a 5c 2f 7d | 7d 0a 25 20 52 65 61 6c |ssy Z\/}|}.% Real|
|00001fa0| 73 0a 5c 64 65 66 5c 52 | 65 61 6c 7b 5c 68 62 6f |s.\def\R|eal{\hbo|
|00001fb0| 78 7b 5c 61 6d 73 73 79 | 20 52 5c 2f 7d 7d 0a 25 |x{\amssy| R\/}}.%|
|00001fc0| 20 52 61 74 69 6f 6e 61 | 6c 73 0a 5c 64 65 66 5c | Rationa|ls.\def\|
|00001fd0| 52 61 74 7b 5c 68 62 6f | 78 7b 5c 61 6d 73 73 79 |Rat{\hbo|x{\amssy|
|00001fe0| 20 51 5c 2f 7d 7d 0a 25 | 0a 25 0a 25 2d 2d 2d 2d | Q\/}}.%|.%.%----|
|00001ff0| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00002000| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00002010| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00002020| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 0a 25 0a 25 |--------|----.%.%|
|00002030| 09 4f 70 65 72 61 74 69 | 6f 6e 73 0a 25 0a 25 20 |.Operati|ons.%.% |
|00002040| 54 68 65 20 6f 70 20 65 | 6e 76 69 72 6f 6e 6d 65 |The op e|nvironme|
|00002050| 6e 74 2e 20 20 57 69 74 | 68 69 6e 20 6f 70 20 79 |nt.  Wit|hin op y|
|00002060| 6f 75 20 63 61 6e 20 73 | 70 65 63 69 66 79 20 61 |ou can s|pecify a|
|00002070| 72 67 73 2c 0a 25 20 72 | 65 73 75 6c 74 2c 20 65 |rgs,.% r|esult, e|
|00002080| 74 63 2e 20 77 68 69 63 | 68 20 61 72 65 20 67 61 |tc. whic|h are ga|
|00002090| 74 68 65 72 65 64 20 69 | 6e 74 6f 20 72 65 67 69 |thered i|nto regi|
|000020a0| 73 74 65 72 73 2c 20 61 | 6e 64 20 6f 75 74 70 75 |sters, a|nd outpu|
|000020b0| 74 20 77 68 65 6e 20 74 | 68 65 20 6f 70 0a 25 20 |t when t|he op.% |
|000020c0| 65 6e 76 2e 20 65 6e 64 | 73 2e 0a 25 0a 25 20 54 |env. end|s..%.% T|
|000020d0| 68 65 20 6f 70 74 69 6f | 6e 61 6c 20 61 72 67 75 |he optio|nal argu|
|000020e0| 6d 65 6e 74 20 69 73 20 | 74 68 65 20 6f 70 65 72 |ment is |the oper|
|000020f0| 61 74 69 6f 6e 20 6e 61 | 6d 65 0a 25 0a 5c 6e 65 |ation na|me.%.\ne|
|00002100| 77 65 6e 76 69 72 6f 6e | 6d 65 6e 74 7b 6f 70 7d |wenviron|ment{op}|
|00002110| 7b 5c 40 62 65 67 69 6e | 56 44 4d 6f 70 65 72 61 |{\@begin|VDMopera|
|00002120| 74 69 6f 6e 7d 7b 5c 40 | 65 6e 64 56 44 4d 6f 70 |tion}{\@|endVDMop|
|00002130| 65 72 61 74 69 6f 6e 7d | 0a 25 0a 25 20 73 68 6f |eration}|.%.% sho|
|00002140| 72 74 68 61 6e 64 20 66 | 6f 72 20 61 6e 20 6f 70 |rthand f|or an op|
|00002150| 65 72 61 74 69 6f 6e 20 | 6f 6e 20 69 74 73 20 6f |eration |on its o|
|00002160| 77 6e 3a 20 74 68 65 20 | 76 64 6d 6f 70 20 65 6e |wn: the |vdmop en|
|00002170| 76 2e 0a 25 0a 5c 6e 65 | 77 65 6e 76 69 72 6f 6e |v..%.\ne|wenviron|
|00002180| 6d 65 6e 74 7b 76 64 6d | 6f 70 7d 7b 5c 40 62 65 |ment{vdm|op}{\@be|
|00002190| 67 69 6e 76 64 6d 5c 40 | 62 65 67 69 6e 56 44 4d |ginvdm\@|beginVDM|
|000021a0| 6f 70 65 72 61 74 69 6f | 6e 7d 25 0a 09 7b 5c 40 |operatio|n}%..{\@|
|000021b0| 65 6e 64 56 44 4d 6f 70 | 65 72 61 74 69 6f 6e 5c |endVDMop|eration\|
|000021c0| 40 65 6e 64 76 64 6d 7d | 0a 25 0a 25 20 72 65 67 |@endvdm}|.%.% reg|
|000021d0| 69 73 74 65 72 73 20 63 | 6f 6e 73 74 72 75 63 74 |isters c|onstruct|
|000021e0| 65 64 20 77 69 74 68 69 | 6e 20 61 6e 20 6f 70 20 |ed withi|n an op |
|000021f0| 65 6e 76 69 72 6f 6e 6d | 65 6e 74 0a 5c 6e 65 77 |environm|ent.\new|
|00002200| 62 6f 78 5c 40 6f 70 65 | 72 61 74 69 6f 6e 4e 61 |box\@ope|rationNa|
|00002210| 6d 65 42 6f 78 0a 5c 6e | 65 77 69 66 5c 69 66 41 |meBox.\n|ewif\ifA|
|00002220| 72 67 75 6d 65 6e 74 4c | 69 73 74 45 6e 63 6f 75 |rgumentL|istEncou|
|00002230| 6e 74 65 72 65 64 40 0a | 5c 6e 65 77 74 6f 6b 73 |ntered@.|\newtoks|
|00002240| 5c 40 61 72 67 75 6d 65 | 6e 74 4c 69 73 74 54 6f |\@argume|ntListTo|
|00002250| 6b 65 6e 73 0a 5c 6e 65 | 77 74 6f 6b 73 5c 40 72 |kens.\ne|wtoks\@r|
|00002260| 65 73 75 6c 74 4e 61 6d | 65 41 6e 64 54 79 70 65 |esultNam|eAndType|
|00002270| 54 6f 6b 65 6e 73 0a 5c | 6e 65 77 62 6f 78 5c 40 |Tokens.\|newbox\@|
|00002280| 65 78 74 65 72 6e 61 6c | 73 42 6f 78 0a 5c 6e 65 |external|sBox.\ne|
|00002290| 77 62 6f 78 5c 40 70 72 | 65 43 6f 6e 64 69 74 69 |wbox\@pr|eConditi|
|000022a0| 6f 6e 42 6f 78 0a 5c 6e | 65 77 62 6f 78 5c 40 70 |onBox.\n|ewbox\@p|
|000022b0| 6f 73 74 43 6f 6e 64 69 | 74 69 6f 6e 42 6f 78 0a |ostCondi|tionBox.|
|000022c0| 25 0a 5c 64 65 66 5c 40 | 62 65 67 69 6e 56 44 4d |%.\def\@|beginVDM|
|000022d0| 6f 70 65 72 61 74 69 6f | 6e 7b 25 20 63 6c 65 61 |operatio|n{% clea|
|000022e0| 72 20 74 65 6d 70 6f 72 | 61 72 69 65 73 2c 20 64 |r tempor|aries, d|
|000022f0| 65 61 6c 20 77 69 74 68 | 20 6f 70 74 69 6f 6e 61 |eal with| optiona|
|00002300| 6c 20 61 72 67 0a 09 5c | 73 65 74 62 6f 78 5c 40 |l arg..\|setbox\@|
|00002310| 6f 70 65 72 61 74 69 6f | 6e 4e 61 6d 65 42 6f 78 |operatio|nNameBox|
|00002320| 3d 5c 68 62 6f 78 7b 7d | 0a 09 5c 40 61 72 67 75 |=\hbox{}|..\@argu|
|00002330| 6d 65 6e 74 4c 69 73 74 | 54 6f 6b 65 6e 73 3d 7b |mentList|Tokens={|
|00002340| 7d 20 5c 41 72 67 75 6d | 65 6e 74 4c 69 73 74 45 |} \Argum|entListE|
|00002350| 6e 63 6f 75 6e 74 65 72 | 65 64 40 66 61 6c 73 65 |ncounter|ed@false|
|00002360| 0a 09 5c 40 72 65 73 75 | 6c 74 4e 61 6d 65 41 6e |..\@resu|ltNameAn|
|00002370| 64 54 79 70 65 54 6f 6b | 65 6e 73 3d 7b 7d 0a 09 |dTypeTok|ens={}..|
|00002380| 5c 73 65 74 62 6f 78 5c | 40 65 78 74 65 72 6e 61 |\setbox\|@externa|
|00002390| 6c 73 42 6f 78 3d 5c 62 | 6f 78 5c 76 6f 69 64 62 |lsBox=\b|ox\voidb|
|000023a0| 40 78 0a 09 5c 73 65 74 | 62 6f 78 5c 40 70 72 65 |@x..\set|box\@pre|
|000023b0| 43 6f 6e 64 69 74 69 6f | 6e 42 6f 78 3d 5c 62 6f |Conditio|nBox=\bo|
|000023c0| 78 5c 76 6f 69 64 62 40 | 78 0a 09 5c 73 65 74 62 |x\voidb@|x..\setb|
|000023d0| 6f 78 5c 40 70 6f 73 74 | 43 6f 6e 64 69 74 69 6f |ox\@post|Conditio|
|000023e0| 6e 42 6f 78 3d 5c 62 6f | 78 5c 76 6f 69 64 62 40 |nBox=\bo|x\voidb@|
|000023f0| 78 0a 09 5c 76 73 6b 69 | 70 5c 70 72 65 4f 70 65 |x..\vski|p\preOpe|
|00002400| 72 61 74 69 6f 6e 53 6b | 69 70 0a 09 5c 40 62 65 |rationSk|ip..\@be|
|00002410| 67 69 6e 56 65 72 74 69 | 63 61 6c 56 44 4d 0a 09 |ginVerti|calVDM..|
|00002420| 5c 62 67 72 6f 75 70 0a | 09 25 20 67 65 74 20 5c |\bgroup.|.% get \|
|00002430| 68 73 69 7a 65 20 72 69 | 67 68 74 20 66 6f 72 20 |hsize ri|ght for |
|00002440| 63 75 72 72 65 6e 74 20 | 69 6e 64 65 6e 74 0a 09 |current |indent..|
|00002450| 5c 61 64 76 61 6e 63 65 | 5c 68 73 69 7a 65 20 62 |\advance|\hsize b|
|00002460| 79 2d 5c 6c 65 66 74 73 | 6b 69 70 20 5c 6c 65 66 |y-\lefts|kip \lef|
|00002470| 74 73 6b 69 70 3d 30 70 | 74 20 25 66 6f 72 20 69 |tskip=0p|t %for i|
|00002480| 6e 6e 65 72 20 63 6f 6e | 73 74 72 75 63 74 69 6f |nner con|structio|
|00002490| 6e 73 0a 09 25 20 77 65 | 20 72 65 73 65 74 20 5c |ns..% we| reset \|
|000024a0| 6c 65 66 74 73 6b 69 70 | 20 6a 75 73 74 20 62 65 |leftskip| just be|
|000024b0| 66 6f 72 65 20 74 68 65 | 20 70 61 72 61 67 72 61 |fore the| paragra|
|000024c0| 70 68 20 62 75 69 6c 64 | 65 72 20 69 73 20 65 78 |ph build|er is ex|
|000024d0| 65 72 63 69 73 65 64 0a | 09 25 0a 09 5c 70 72 65 |ercised.|.%..\pre|
|000024e0| 4f 70 65 72 61 74 69 6f | 6e 48 6f 6f 6b 0a 09 5c |Operatio|nHook..\|
|000024f0| 40 69 66 6e 65 78 74 63 | 68 61 72 20 5b 7b 5c 40 |@ifnextc|har [{\@|
|00002500| 6f 70 6e 61 6d 65 7d 7b | 7d 7d 0a 25 0a 25 20 62 |opname}{|}}.%.% b|
|00002510| 72 65 61 6b 69 6e 67 20 | 70 61 72 61 6d 65 74 65 |reaking |paramete|
|00002520| 72 73 0a 5c 6e 65 77 63 | 6f 75 6e 74 5c 70 72 65 |rs.\newc|ount\pre|
|00002530| 4f 70 65 72 61 74 69 6f | 6e 50 65 6e 61 6c 74 79 |Operatio|nPenalty|
|00002540| 20 5c 70 72 65 4f 70 65 | 72 61 74 69 6f 6e 50 65 | \preOpe|rationPe|
|00002550| 6e 61 6c 74 79 3d 30 0a | 5c 6e 65 77 63 6f 75 6e |nalty=0.|\newcoun|
|00002560| 74 5c 70 72 65 45 78 74 | 65 72 6e 61 6c 50 65 6e |t\preExt|ernalPen|
|00002570| 61 6c 74 79 20 5c 70 72 | 65 45 78 74 65 72 6e 61 |alty \pr|eExterna|
|00002580| 6c 50 65 6e 61 6c 74 79 | 3d 32 30 30 30 0a 5c 6e |lPenalty|=2000.\n|
|00002590| 65 77 63 6f 75 6e 74 5c | 70 72 65 50 72 65 43 6f |ewcount\|prePreCo|
|000025a0| 6e 64 69 74 69 6f 6e 50 | 65 6e 61 6c 74 79 20 5c |nditionP|enalty \|
|000025b0| 70 72 65 50 72 65 43 6f | 6e 64 69 74 69 6f 6e 50 |prePreCo|nditionP|
|000025c0| 65 6e 61 6c 74 79 3d 38 | 30 30 0a 5c 6e 65 77 63 |enalty=8|00.\newc|
|000025d0| 6f 75 6e 74 5c 70 72 65 | 50 6f 73 74 43 6f 6e 64 |ount\pre|PostCond|
|000025e0| 69 74 69 6f 6e 50 65 6e | 61 6c 74 79 20 5c 70 72 |itionPen|alty \pr|
|000025f0| 65 50 6f 73 74 43 6f 6e | 64 69 74 69 6f 6e 50 65 |ePostCon|ditionPe|
|00002600| 6e 61 6c 74 79 3d 35 30 | 30 0a 5c 6e 65 77 63 6f |nalty=50|0.\newco|
|00002610| 75 6e 74 5c 70 6f 73 74 | 4f 70 65 72 61 74 69 6f |unt\post|Operatio|
|00002620| 6e 50 65 6e 61 6c 74 79 | 20 5c 70 6f 73 74 4f 70 |nPenalty| \postOp|
|00002630| 65 72 61 74 69 6f 6e 50 | 65 6e 61 6c 74 79 3d 2d |erationP|enalty=-|
|00002640| 35 30 30 0a 25 0a 25 20 | 67 61 70 73 20 62 65 74 |500.%.% |gaps bet|
|00002650| 77 65 65 6e 20 62 69 74 | 73 20 6f 66 20 6f 70 65 |ween bit|s of ope|
|00002660| 72 61 74 69 6f 6e 73 0a | 5c 6e 65 77 73 6b 69 70 |rations.|\newskip|
|00002670| 5c 70 72 65 4f 70 65 72 | 61 74 69 6f 6e 53 6b 69 |\preOper|ationSki|
|00002680| 70 20 5c 70 72 65 4f 70 | 65 72 61 74 69 6f 6e 53 |p \preOp|erationS|
|00002690| 6b 69 70 3d 32 65 78 20 | 70 6c 75 73 20 30 2e 35 |kip=2ex |plus 0.5|
|000026a0| 65 78 20 6d 69 6e 75 73 | 20 30 2e 32 65 78 0a 5c |ex minus| 0.2ex.\|
|000026b0| 6e 65 77 73 6b 69 70 5c | 70 6f 73 74 4f 70 65 72 |newskip\|postOper|
|000026c0| 61 74 69 6f 6e 53 6b 69 | 70 20 5c 70 6f 73 74 4f |ationSki|p \postO|
|000026d0| 70 65 72 61 74 69 6f 6e | 53 6b 69 70 3d 32 65 78 |peration|Skip=2ex|
|000026e0| 20 70 6c 75 73 20 30 2e | 35 65 78 20 6d 69 6e 75 | plus 0.|5ex minu|
|000026f0| 73 20 30 2e 32 65 78 0a | 5c 6e 65 77 73 6b 69 70 |s 0.2ex.|\newskip|
|00002700| 5c 70 6f 73 74 48 65 61 | 64 65 72 53 6b 69 70 20 |\postHea|derSkip |
|00002710| 5c 70 6f 73 74 48 65 61 | 64 65 72 53 6b 69 70 3d |\postHea|derSkip=|
|00002720| 2e 35 65 78 20 70 6c 75 | 73 20 2e 32 65 78 20 6d |.5ex plu|s .2ex m|
|00002730| 69 6e 75 73 20 2e 32 65 | 78 0a 5c 6e 65 77 73 6b |inus .2e|x.\newsk|
|00002740| 69 70 5c 70 6f 73 74 45 | 78 74 65 72 6e 61 6c 73 |ip\postE|xternals|
|00002750| 53 6b 69 70 20 5c 70 6f | 73 74 45 78 74 65 72 6e |Skip \po|stExtern|
|00002760| 61 6c 73 53 6b 69 70 3d | 2e 35 65 78 20 70 6c 75 |alsSkip=|.5ex plu|
|00002770| 73 20 2e 32 65 78 20 6d | 69 6e 75 73 20 2e 32 65 |s .2ex m|inus .2e|
|00002780| 78 0a 5c 6e 65 77 73 6b | 69 70 5c 70 6f 73 74 50 |x.\newsk|ip\postP|
|00002790| 72 65 43 6f 6e 64 69 74 | 69 6f 6e 53 6b 69 70 20 |reCondit|ionSkip |
|000027a0| 5c 70 6f 73 74 50 72 65 | 43 6f 6e 64 69 74 69 6f |\postPre|Conditio|
|000027b0| 6e 53 6b 69 70 3d 2e 35 | 65 78 20 70 6c 75 73 20 |nSkip=.5|ex plus |
|000027c0| 2e 32 65 78 20 6d 69 6e | 75 73 20 2e 32 65 78 0a |.2ex min|us .2ex.|
|000027d0| 25 0a 5c 64 65 66 5c 40 | 65 6e 64 56 44 4d 6f 70 |%.\def\@|endVDMop|
|000027e0| 65 72 61 74 69 6f 6e 7b | 25 20 6d 61 6b 65 20 75 |eration{|% make u|
|000027f0| 70 20 6f 70 65 72 61 74 | 69 6f 6e 0a 09 25 20 49 |p operat|ion..% I|
|00002800| 4d 50 4f 52 54 41 4e 54 | 2d 2d 2d 64 6f 6e 27 74 |MPORTANT|---don't|
|00002810| 20 72 65 6d 6f 76 65 20 | 74 68 65 20 76 73 6b 69 | remove |the vski|
|00002820| 70 73 20 69 6e 20 74 68 | 69 73 20 6d 61 63 72 6f |ps in th|is macro|
|00002830| 0a 09 25 20 69 66 20 79 | 6f 75 20 64 6f 6e 27 74 |..% if y|ou don't|
|00002840| 20 77 61 6e 74 20 6f 6e | 65 2c 20 73 65 74 20 69 | want on|e, set i|
|00002850| 74 20 74 6f 20 30 70 74 | 0a 09 5c 40 73 65 74 4f |t to 0pt|..\@setO|
|00002860| 70 65 72 61 74 69 6f 6e | 48 65 61 64 65 72 0a 09 |peration|Header..|
|00002870| 5c 65 67 72 6f 75 70 20 | 25 20 6d 61 74 63 68 65 |\egroup |% matche|
|00002880| 73 20 74 68 65 20 5c 62 | 67 72 6f 75 70 20 69 6e |s the \b|group in|
|00002890| 20 5c 40 62 65 67 69 6e | 56 44 4d 6f 70 65 72 61 | \@begin|VDMopera|
|000028a0| 74 69 6f 6e 0a 09 5c 76 | 73 6b 69 70 5c 70 6f 73 |tion..\v|skip\pos|
|000028b0| 74 48 65 61 64 65 72 53 | 6b 69 70 0a 09 5c 62 65 |tHeaderS|kip..\be|
|000028c0| 74 77 65 65 6e 48 65 61 | 64 65 72 41 6e 64 45 78 |tweenHea|derAndEx|
|000028d0| 74 65 72 6e 61 6c 73 48 | 6f 6f 6b 0a 09 5c 69 66 |ternalsH|ook..\if|
|000028e0| 76 6f 69 64 5c 40 65 78 | 74 65 72 6e 61 6c 73 42 |void\@ex|ternalsB|
|000028f0| 6f 78 0a 09 5c 65 6c 73 | 65 20 5c 6d 6f 76 65 72 |ox..\els|e \mover|
|00002900| 69 67 68 74 5c 56 44 4d | 69 6e 64 65 6e 74 5c 62 |ight\VDM|indent\b|
|00002910| 6f 78 5c 40 65 78 74 65 | 72 6e 61 6c 73 42 6f 78 |ox\@exte|rnalsBox|
|00002920| 0a 09 20 20 20 20 20 20 | 5c 76 73 6b 69 70 5c 70 |..      |\vskip\p|
|00002930| 6f 73 74 45 78 74 65 72 | 6e 61 6c 73 53 6b 69 70 |ostExter|nalsSkip|
|00002940| 0a 09 5c 66 69 0a 09 5c | 62 65 74 77 65 65 6e 45 |..\fi..\|betweenE|
|00002950| 78 74 65 72 6e 61 6c 73 | 41 6e 64 50 72 65 43 6f |xternals|AndPreCo|
|00002960| 6e 64 69 74 69 6f 6e 48 | 6f 6f 6b 0a 09 5c 69 66 |nditionH|ook..\if|
|00002970| 76 6f 69 64 5c 40 70 72 | 65 43 6f 6e 64 69 74 69 |void\@pr|eConditi|
|00002980| 6f 6e 42 6f 78 0a 09 5c | 65 6c 73 65 20 5c 6d 6f |onBox..\|else \mo|
|00002990| 76 65 72 69 67 68 74 5c | 56 44 4d 69 6e 64 65 6e |veright\|VDMinden|
|000029a0| 74 5c 62 6f 78 5c 40 70 | 72 65 43 6f 6e 64 69 74 |t\box\@p|reCondit|
|000029b0| 69 6f 6e 42 6f 78 0a 09 | 20 20 20 20 20 20 5c 76 |ionBox..|      \v|
|000029c0| 73 6b 69 70 5c 70 6f 73 | 74 50 72 65 43 6f 6e 64 |skip\pos|tPreCond|
|000029d0| 69 74 69 6f 6e 53 6b 69 | 70 0a 09 5c 66 69 0a 09 |itionSki|p..\fi..|
|000029e0| 5c 62 65 74 77 65 65 6e | 50 72 65 41 6e 64 50 6f |\between|PreAndPo|
|000029f0| 73 74 43 6f 6e 64 69 74 | 69 6f 6e 48 6f 6f 6b 0a |stCondit|ionHook.|
|00002a00| 09 5c 69 66 76 6f 69 64 | 5c 40 70 6f 73 74 43 6f |.\ifvoid|\@postCo|
|00002a10| 6e 64 69 74 69 6f 6e 42 | 6f 78 0a 09 5c 65 6c 73 |nditionB|ox..\els|
|00002a20| 65 20 5c 6d 6f 76 65 72 | 69 67 68 74 5c 56 44 4d |e \mover|ight\VDM|
|00002a30| 69 6e 64 65 6e 74 5c 62 | 6f 78 5c 40 70 6f 73 74 |indent\b|ox\@post|
|00002a40| 43 6f 6e 64 69 74 69 6f | 6e 42 6f 78 0a 09 20 20 |Conditio|nBox..  |
|00002a50| 20 20 20 20 5c 76 73 6b | 69 70 5c 70 6f 73 74 4f |    \vsk|ip\postO|
|00002a60| 70 65 72 61 74 69 6f 6e | 53 6b 69 70 0a 09 5c 66 |peration|Skip..\f|
|00002a70| 69 0a 09 5c 70 6f 73 74 | 4f 70 65 72 61 74 69 6f |i..\post|Operatio|
|00002a80| 6e 48 6f 6f 6b 7d 0a 25 | 0a 25 20 68 6f 6f 6b 73 |nHook}.%|.% hooks|
|00002a90| 20 66 6f 72 20 75 73 65 | 72 2d 64 65 66 69 6e 65 | for use|r-define|
|00002aa0| 64 20 65 78 70 61 6e 73 | 69 6f 6e 0a 25 20 54 65 |d expans|ion.% Te|
|00002ab0| 58 20 69 73 20 69 6e 20 | 6f 75 74 65 72 20 76 65 |X is in |outer ve|
|00002ac0| 72 74 69 63 61 6c 20 6d | 6f 64 65 20 77 68 65 6e |rtical m|ode when|
|00002ad0| 20 74 68 65 73 65 20 61 | 72 65 20 63 61 6c 6c 65 | these a|re calle|
|00002ae0| 64 2e 0a 25 20 41 4c 57 | 41 59 53 20 6c 65 61 76 |d..% ALW|AYS leav|
|00002af0| 65 20 54 65 58 20 69 6e | 20 76 65 72 74 69 63 61 |e TeX in| vertica|
|00002b00| 6c 20 6d 6f 64 65 20 61 | 66 74 65 72 20 74 68 65 |l mode a|fter the|
|00002b10| 73 65 20 6d 61 63 72 6f | 73 20 68 61 76 65 20 62 |se macro|s have b|
|00002b20| 65 65 6e 20 63 61 6c 6c | 65 64 0a 5c 64 65 66 5c |een call|ed.\def\|
|00002b30| 70 72 65 4f 70 65 72 61 | 74 69 6f 6e 48 6f 6f 6b |preOpera|tionHook|
|00002b40| 7b 5c 70 65 6e 61 6c 74 | 79 5c 70 72 65 4f 70 65 |{\penalt|y\preOpe|
|00002b50| 72 61 74 69 6f 6e 50 65 | 6e 61 6c 74 79 20 7d 0a |rationPe|nalty }.|
|00002b60| 5c 64 65 66 5c 62 65 74 | 77 65 65 6e 48 65 61 64 |\def\bet|weenHead|
|00002b70| 65 72 41 6e 64 45 78 74 | 65 72 6e 61 6c 73 48 6f |erAndExt|ernalsHo|
|00002b80| 6f 6b 7b 5c 70 65 6e 61 | 6c 74 79 5c 70 72 65 45 |ok{\pena|lty\preE|
|00002b90| 78 74 65 72 6e 61 6c 50 | 65 6e 61 6c 74 79 20 7d |xternalP|enalty }|
|00002ba0| 0a 5c 64 65 66 5c 62 65 | 74 77 65 65 6e 45 78 74 |.\def\be|tweenExt|
|00002bb0| 65 72 6e 61 6c 73 41 6e | 64 50 72 65 43 6f 6e 64 |ernalsAn|dPreCond|
|00002bc0| 69 74 69 6f 6e 48 6f 6f | 6b 7b 5c 70 65 6e 61 6c |itionHoo|k{\penal|
|00002bd0| 74 79 5c 70 72 65 50 72 | 65 43 6f 6e 64 69 74 69 |ty\prePr|eConditi|
|00002be0| 6f 6e 50 65 6e 61 6c 74 | 79 20 7d 0a 5c 64 65 66 |onPenalt|y }.\def|
|00002bf0| 5c 62 65 74 77 65 65 6e | 50 72 65 41 6e 64 50 6f |\between|PreAndPo|
|00002c00| 73 74 43 6f 6e 64 69 74 | 69 6f 6e 48 6f 6f 6b 7b |stCondit|ionHook{|
|00002c10| 5c 70 65 6e 61 6c 74 79 | 5c 70 72 65 50 6f 73 74 |\penalty|\prePost|
|00002c20| 43 6f 6e 64 69 74 69 6f | 6e 50 65 6e 61 6c 74 79 |Conditio|nPenalty|
|00002c30| 20 7d 0a 5c 64 65 66 5c | 70 6f 73 74 4f 70 65 72 | }.\def\|postOper|
|00002c40| 61 74 69 6f 6e 48 6f 6f | 6b 7b 5c 70 65 6e 61 6c |ationHoo|k{\penal|
|00002c50| 74 79 5c 70 6f 73 74 4f | 70 65 72 61 74 69 6f 6e |ty\postO|peration|
|00002c60| 50 65 6e 61 6c 74 79 20 | 7d 0a 25 0a 25 20 63 6f |Penalty |}.%.% co|
|00002c70| 6d 62 69 6e 65 20 74 68 | 65 20 6f 70 65 72 61 74 |mbine th|e operat|
|00002c80| 69 6f 6e 20 6e 61 6d 65 | 2c 20 61 72 67 75 6d 65 |ion name|, argume|
|00002c90| 6e 74 20 6c 69 73 74 20 | 61 6e 64 20 72 65 73 75 |nt list |and resu|
|00002ca0| 6c 74 0a 25 0a 5c 64 65 | 66 5c 40 73 65 74 4f 70 |lt.%.\de|f\@setOp|
|00002cb0| 65 72 61 74 69 6f 6e 48 | 65 61 64 65 72 7b 25 0a |erationH|eader{%.|
|00002cc0| 09 25 20 73 65 74 20 74 | 68 65 20 6e 61 6d 65 20 |.% set t|he name |
|00002cd0| 69 6e 20 61 20 68 62 6f | 78 20 6f 66 20 69 74 73 |in a hbo|x of its|
|00002ce0| 20 6f 77 6e 2c 20 74 68 | 65 20 72 65 73 74 20 69 | own, th|e rest i|
|00002cf0| 6e 20 61 20 70 61 72 62 | 6f 78 0a 09 25 20 61 64 |n a parb|ox..% ad|
|00002d00| 64 20 61 20 6c 65 66 74 | 20 70 61 72 65 6e 20 74 |d a left| paren t|
|00002d10| 6f 20 74 68 65 20 6f 70 | 20 6e 61 6d 65 20 69 66 |o the op| name if|
|00002d20| 20 77 65 20 68 61 76 65 | 20 61 6e 20 61 72 67 20 | we have| an arg |
|00002d30| 6c 69 73 74 0a 09 5c 69 | 66 41 72 67 75 6d 65 6e |list..\i|fArgumen|
|00002d40| 74 4c 69 73 74 45 6e 63 | 6f 75 6e 74 65 72 65 64 |tListEnc|ountered|
|00002d50| 40 0a 09 09 5c 73 65 74 | 62 6f 78 5c 40 6f 70 65 |@...\set|box\@ope|
|00002d60| 72 61 74 69 6f 6e 4e 61 | 6d 65 42 6f 78 3d 0a 09 |rationNa|meBox=..|
|00002d70| 09 09 5c 68 62 6f 78 7b | 5c 75 6e 68 62 6f 78 5c |..\hbox{|\unhbox\|
|00002d80| 40 6f 70 65 72 61 74 69 | 6f 6e 4e 61 6d 65 42 6f |@operati|onNameBo|
|00002d90| 78 5c 20 28 7d 5c 66 69 | 0a 09 5c 64 69 6d 65 6e |x\ (}\fi|..\dimen|
|00002da0| 32 35 35 3d 5c 68 73 69 | 7a 65 20 5c 61 64 76 61 |255=\hsi|ze \adva|
|00002db0| 6e 63 65 5c 64 69 6d 65 | 6e 32 35 35 20 62 79 2d |nce\dime|n255 by-|
|00002dc0| 5c 77 64 5c 40 6f 70 65 | 72 61 74 69 6f 6e 4e 61 |\wd\@ope|rationNa|
|00002dd0| 6d 65 42 6f 78 0a 20 09 | 5c 6e 6f 69 6e 64 65 6e |meBox. .|\noinden|
|00002de0| 74 5c 6b 65 72 6e 2d 2e | 30 35 65 6d 5c 62 6f 78 |t\kern-.|05em\box|
|00002df0| 5c 40 6f 70 65 72 61 74 | 69 6f 6e 4e 61 6d 65 42 |\@operat|ionNameB|
|00002e00| 6f 78 0a 09 5c 76 74 6f | 70 7b 5c 40 72 61 67 67 |ox..\vto|p{\@ragg|
|00002e10| 65 64 52 69 67 68 74 20 | 5c 68 73 69 7a 65 3d 5c |edRight |\hsize=\|
|00002e20| 64 69 6d 65 6e 32 35 35 | 20 5c 6e 6f 69 6e 64 65 |dimen255| \noinde|
|00002e30| 6e 74 0a 09 09 24 5c 69 | 66 41 72 67 75 6d 65 6e |nt...$\i|fArgumen|
|00002e40| 74 4c 69 73 74 45 6e 63 | 6f 75 6e 74 65 72 65 64 |tListEnc|ountered|
|00002e50| 40 5c 74 68 65 5c 40 61 | 72 67 75 6d 65 6e 74 4c |@\the\@a|rgumentL|
|00002e60| 69 73 74 54 6f 6b 65 6e | 73 29 5c 66 69 0a 09 09 |istToken|s)\fi...|
|00002e70| 5c 20 5c 74 68 65 5c 40 | 72 65 73 75 6c 74 4e 61 |\ \the\@|resultNa|
|00002e80| 6d 65 41 6e 64 54 79 70 | 65 54 6f 6b 65 6e 73 24 |meAndTyp|eTokens$|
|00002e90| 7d 7d 0a 25 0a 25 20 73 | 65 74 20 74 68 65 20 6f |}}.%.% s|et the o|
|00002ea0| 70 65 72 61 74 69 6f 6e | 20 6e 61 6d 65 0a 25 20 |peration| name.% |
|00002eb0| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00002ec0| 2d 2d 2d 2d 2d 2d 0a 25 | 0a 25 20 5c 6f 70 6e 61 |------.%|.% \opna|
|00002ed0| 6d 65 7b 6e 61 6d 65 2d | 6f 66 2d 6f 70 65 72 61 |me{name-|of-opera|
|00002ee0| 74 69 6f 6e 7d 0a 25 0a | 5c 64 65 66 5c 6f 70 6e |tion}.%.|\def\opn|
|00002ef0| 61 6d 65 23 31 7b 5c 40 | 6f 70 6e 61 6d 65 5b 23 |ame#1{\@|opname[#|
|00002f00| 31 5d 7d 0a 5c 64 65 66 | 5c 40 6f 70 6e 61 6d 65 |1]}.\def|\@opname|
|00002f10| 5b 23 31 5d 7b 5c 73 65 | 74 62 6f 78 5c 40 6f 70 |[#1]{\se|tbox\@op|
|00002f20| 65 72 61 74 69 6f 6e 4e | 61 6d 65 42 6f 78 3d 5c |erationN|ameBox=\|
|00002f30| 68 62 6f 78 7b 24 5c 72 | 65 6c 61 78 23 31 24 5c |hbox{$\r|elax#1$\|
|00002f40| 20 7d 7d 0a 25 0a 25 20 | 73 65 74 20 75 70 20 74 | }}.%.% |set up t|
|00002f50| 68 65 20 61 72 67 75 6d | 65 6e 74 20 6c 69 73 74 |he argum|ent list|
|00002f60| 0a 25 20 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |.% -----|--------|
|00002f70| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 0a 25 0a 25 20 |--------|---.%.% |
|00002f80| 5c 61 72 67 73 7b 20 61 | 72 67 75 6d 65 6e 74 20 |\args{ a|rgument |
|00002f90| 5c 5c 20 61 72 67 75 6d | 65 6e 74 20 5c 5c 20 61 |\\ argum|ent \\ a|
|00002fa0| 72 67 75 6d 65 6e 74 2e | 2e 2e 20 7d 20 77 68 65 |rgument.|.. } whe|
|00002fb0| 72 65 20 5c 5c 20 66 6f | 72 63 65 73 20 61 20 6c |re \\ fo|rces a l|
|00002fc0| 69 6e 65 20 62 72 65 61 | 6b 0a 25 20 54 68 69 73 |ine brea|k.% This|
|00002fd0| 20 69 73 20 61 6c 73 6f | 20 75 73 65 64 20 69 6e | is also| used in|
|00002fe0| 20 74 68 65 20 66 6e 20 | 65 6e 76 69 72 6f 6e 6d | the fn |environm|
|00002ff0| 65 6e 74 0a 5c 64 65 66 | 5c 61 72 67 73 7b 5c 41 |ent.\def|\args{\A|
|00003000| 72 67 75 6d 65 6e 74 4c | 69 73 74 45 6e 63 6f 75 |rgumentL|istEncou|
|00003010| 6e 74 65 72 65 64 40 74 | 72 75 65 5c 40 61 72 67 |ntered@t|rue\@arg|
|00003020| 75 6d 65 6e 74 4c 69 73 | 74 54 6f 6b 65 6e 73 3d |umentLis|tTokens=|
|00003030| 7d 0a 25 0a 25 20 72 65 | 73 75 6c 74 20 6e 61 6d |}.%.% re|sult nam|
|00003040| 65 20 61 6e 64 20 74 79 | 70 65 0a 25 20 2d 2d 2d |e and ty|pe.% ---|
|00003050| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00003060| 2d 0a 25 0a 5c 64 65 66 | 5c 72 65 73 7b 5c 40 72 |-.%.\def|\res{\@r|
|00003070| 65 73 75 6c 74 4e 61 6d | 65 41 6e 64 54 79 70 65 |esultNam|eAndType|
|00003080| 54 6f 6b 65 6e 73 3d 7d | 0a 25 0a 25 20 65 78 74 |Tokens=}|.%.% ext|
|00003090| 65 72 6e 61 6c 73 20 6c | 69 73 74 0a 25 20 2d 2d |ernals l|ist.% --|
|000030a0| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 0a 25 20 41 |--------|----.% A|
|000030b0| 6e 20 65 78 74 65 72 6e | 61 6c 20 6c 69 73 74 20 |n extern|al list |
|000030c0| 63 6f 75 6c 64 20 62 65 | 20 65 69 74 68 65 72 20 |could be| either |
|000030d0| 76 65 72 79 20 6c 6f 6e | 67 20 6f 72 20 76 65 72 |very lon|g or ver|
|000030e0| 79 20 73 68 6f 72 74 2c | 20 73 6f 20 77 65 20 70 |y short,| so we p|
|000030f0| 72 6f 76 69 64 65 0a 25 | 20 74 77 6f 20 66 6f 72 |rovide.%| two for|
|00003100| 6d 73 2e 20 20 4f 6e 65 | 20 69 73 20 74 68 65 20 |ms.  One| is the |
|00003110| 73 68 6f 72 74 20 5c 65 | 78 74 7b 2e 2e 7d 20 63 |short \e|xt{..} c|
|00003120| 6f 6d 6d 61 6e 64 2c 20 | 74 68 65 20 6f 74 68 65 |ommand, |the othe|
|00003130| 72 20 69 73 20 74 68 65 | 20 65 78 74 65 72 6e 61 |r is the| externa|
|00003140| 6c 73 20 0a 25 20 65 6e | 76 69 72 6f 6e 6d 65 6e |ls .% en|vironmen|
|00003150| 74 2e 0a 25 20 45 78 74 | 65 72 6e 61 6c 73 20 61 |t..% Ext|ernals a|
|00003160| 72 65 20 61 6c 77 61 79 | 73 20 73 65 70 61 72 61 |re alway|s separa|
|00003170| 74 65 64 20 62 79 20 5c | 5c 0a 25 0a 5c 6e 65 77 |ted by \|\.%.\new|
|00003180| 65 6e 76 69 72 6f 6e 6d | 65 6e 74 7b 65 78 74 65 |environm|ent{exte|
|00003190| 72 6e 61 6c 73 7d 7b 5c | 40 62 65 67 69 6e 45 78 |rnals}{\|@beginEx|
|000031a0| 74 65 72 6e 61 6c 73 7d | 7b 5c 40 65 6e 64 45 78 |ternals}|{\@endEx|
|000031b0| 74 65 72 6e 61 6c 73 7d | 0a 25 20 77 65 20 68 61 |ternals}|.% we ha|
|000031c0| 76 65 20 74 6f 20 6d 65 | 73 73 20 61 20 6c 69 74 |ve to me|ss a lit|
|000031d0| 74 6c 65 20 74 6f 20 67 | 65 74 20 74 68 65 20 63 |tle to g|et the c|
|000031e0| 61 74 63 6f 64 65 20 6f | 66 20 3a 20 72 69 67 68 |atcode o|f : righ|
|000031f0| 74 0a 5c 64 65 66 5c 65 | 78 74 7b 5c 62 67 72 6f |t.\def\e|xt{\bgro|
|00003200| 75 70 5c 40 6d 61 6b 65 | 43 6f 6c 6f 6e 41 63 74 |up\@make|ColonAct|
|00003210| 69 76 65 5c 40 65 78 74 | 7d 0a 5c 64 65 66 5c 40 |ive\@ext|}.\def\@|
|00003220| 65 78 74 23 31 7b 5c 40 | 62 65 67 69 6e 45 78 74 |ext#1{\@|beginExt|
|00003230| 65 72 6e 61 6c 73 23 31 | 5c 40 65 6e 64 45 78 74 |ernals#1|\@endExt|
|00003240| 65 72 6e 61 6c 73 5c 65 | 67 72 6f 75 70 7d 0a 25 |ernals\e|group}.%|
|00003250| 0a 5c 64 65 66 5c 40 62 | 65 67 69 6e 45 78 74 65 |.\def\@b|eginExte|
|00003260| 72 6e 61 6c 73 7b 5c 67 | 6c 6f 62 61 6c 5c 73 65 |rnals{\g|lobal\se|
|00003270| 74 62 6f 78 5c 40 65 78 | 74 65 72 6e 61 6c 73 42 |tbox\@ex|ternalsB|
|00003280| 6f 78 3d 25 0a 09 5c 40 | 62 65 67 69 6e 49 6e 64 |ox=%..\@|beginInd|
|00003290| 65 6e 74 65 64 50 61 72 | 61 7b 5c 68 73 69 7a 65 |entedPar|a{\hsize|
|000032a0| 7d 7b 65 78 74 20 7d 7b | 5c 40 73 65 74 55 70 45 |}{ext }{|\@setUpE|
|000032b0| 78 74 65 72 6e 61 6c 73 | 7d 7d 0a 5c 64 65 66 5c |xternals|}}.\def\|
|000032c0| 40 65 6e 64 45 78 74 65 | 72 6e 61 6c 73 7b 5c 40 |@endExte|rnals{\@|
|000032d0| 65 6e 64 49 6e 64 65 6e | 74 65 64 50 61 72 61 7b |endInden|tedPara{|
|000032e0| 5c 40 65 6e 64 41 6c 69 | 67 6e 6d 65 6e 74 7d 7d |\@endAli|gnment}}|
|000032f0| 0a 25 0a 5c 64 65 66 5c | 40 73 65 74 55 70 45 78 |.%.\def\|@setUpEx|
|00003300| 74 65 72 6e 61 6c 73 7b | 5c 40 6d 61 6b 65 43 6f |ternals{|\@makeCo|
|00003310| 6c 6f 6e 41 63 74 69 76 | 65 0a 09 5c 40 63 68 61 |lonActiv|e..\@cha|
|00003320| 6e 67 65 4c 69 6e 65 53 | 65 70 61 72 61 74 6f 72 |ngeLineS|eparator|
|00003330| 5c 40 62 65 67 69 6e 41 | 6c 69 67 6e 6d 65 6e 74 |\@beginA|lignment|
|00003340| 7d 0a 25 20 6d 6f 72 65 | 20 63 61 74 63 6f 64 65 |}.% more| catcode|
|00003350| 20 74 72 69 63 6b 65 72 | 79 20 66 6f 72 20 3a 0a | tricker|y for :.|
|00003360| 7b 5c 63 61 74 63 6f 64 | 65 60 5c 3a 3d 5c 61 63 |{\catcod|e`\:=\ac|
|00003370| 74 69 76 65 0a 20 5c 67 | 64 65 66 5c 40 6d 61 6b |tive. \g|def\@mak|
|00003380| 65 43 6f 6c 6f 6e 41 63 | 74 69 76 65 7b 5c 63 61 |eColonAc|tive{\ca|
|00003390| 74 63 6f 64 65 60 5c 3a | 3d 5c 61 63 74 69 76 65 |tcode`\:|=\active|
|000033a0| 20 5c 6c 65 74 3a 3d 26 | 7d 7d 0a 25 20 74 68 65 | \let:=&|}}.% the|
|000033b0| 73 65 20 61 72 65 20 61 | 6c 73 6f 20 75 73 65 64 |se are a|lso used|
|000033c0| 20 69 6e 20 72 65 63 6f | 72 64 73 20 61 6e 64 20 | in reco|rds and |
|000033d0| 63 61 73 65 73 0a 5c 64 | 65 66 5c 40 63 68 61 6e |cases.\d|ef\@chan|
|000033e0| 67 65 4c 69 6e 65 53 65 | 70 61 72 61 74 6f 72 7b |geLineSe|parator{|
|000033f0| 5c 6c 65 74 5c 5c 3d 5c | 63 72 7d 20 25 20 66 6f |\let\\=\|cr} % fo|
|00003400| 72 20 75 73 72 20 77 69 | 74 68 69 6e 20 5c 68 61 |r usr wi|thin \ha|
|00003410| 6c 69 67 6e 0a 25 0a 25 | 20 74 68 65 20 5c 65 78 |lign.%.%| the \ex|
|00003420| 70 61 6e 64 61 66 74 65 | 72 73 20 61 72 65 20 6e |pandafte|rs are n|
|00003430| 65 63 65 73 73 61 72 79 | 20 62 65 63 61 75 73 65 |ecessary| because|
|00003440| 20 54 65 58 20 64 6f 65 | 73 6e 27 74 20 65 78 70 | TeX doe|sn't exp|
|00003450| 61 6e 64 0a 25 20 5c 68 | 61 6c 69 67 6e 20 73 70 |and.% \h|align sp|
|00003460| 65 63 73 20 77 68 65 6e | 20 73 63 61 6e 6e 69 6e |ecs when| scannin|
|00003470| 67 20 66 6f 72 20 23 20 | 61 6e 64 20 26 0a 5c 64 |g for # |and &.\d|
|00003480| 65 66 5c 40 62 65 67 69 | 6e 41 6c 69 67 6e 6d 65 |ef\@begi|nAlignme|
|00003490| 6e 74 7b 5c 65 78 70 61 | 6e 64 61 66 74 65 72 5c |nt{\expa|ndafter\|
|000034a0| 68 61 6c 69 67 6e 5c 65 | 78 70 61 6e 64 61 66 74 |halign\e|xpandaft|
|000034b0| 65 72 5c 62 67 72 6f 75 | 70 0a 09 5c 74 68 65 5c |er\bgrou|p..\the\|
|000034c0| 40 65 78 74 41 6c 69 67 | 6e 5c 73 74 72 75 74 5c |@extAlig|n\strut\|
|000034d0| 65 6e 73 70 61 63 65 26 | 3a 5c 65 6e 73 70 61 63 |enspace&|:\enspac|
|000034e0| 65 24 23 23 24 5c 68 66 | 69 6c 5c 63 72 7d 0a 5c |e$##$\hf|il\cr}.\|
|000034f0| 64 65 66 5c 40 65 6e 64 | 41 6c 69 67 6e 6d 65 6e |def\@end|Alignmen|
|00003500| 74 7b 5c 63 72 63 72 5c | 65 67 72 6f 75 70 7d 0a |t{\crcr\|egroup}.|
|00003510| 25 0a 25 20 74 68 65 20 | 75 73 65 72 20 63 61 6e |%.% the |user can|
|00003520| 20 64 65 63 69 64 65 20 | 6f 6e 20 74 68 65 20 65 | decide |on the e|
|00003530| 78 61 63 74 20 61 6c 69 | 67 6e 6d 65 6e 74 20 6f |xact ali|gnment o|
|00003540| 66 20 74 68 65 20 66 69 | 65 6c 64 20 6e 61 6d 65 |f the fi|eld name|
|00003550| 73 0a 5c 6e 65 77 74 6f | 6b 73 5c 40 65 78 74 41 |s.\newto|ks\@extA|
|00003560| 6c 69 67 6e 0a 5c 64 65 | 66 5c 6c 65 66 74 45 78 |lign.\de|f\leftEx|
|00003570| 74 65 72 6e 61 6c 73 7b | 5c 40 65 78 74 41 6c 69 |ternals{|\@extAli|
|00003580| 67 6e 3d 7b 24 23 23 24 | 5c 68 66 69 6c 7d 7d 0a |gn={$##$|\hfil}}.|
|00003590| 5c 64 65 66 5c 72 69 67 | 68 74 45 78 74 65 72 6e |\def\rig|htExtern|
|000035a0| 61 6c 73 7b 5c 40 65 78 | 74 41 6c 69 67 6e 3d 7b |als{\@ex|tAlign={|
|000035b0| 5c 68 66 69 6c 24 23 23 | 24 7d 7d 0a 5c 6c 65 66 |\hfil$##|$}}.\lef|
|000035c0| 74 45 78 74 65 72 6e 61 | 6c 73 0a 25 0a 25 0a 5c |tExterna|ls.%.%.\|
|000035d0| 6d 61 6b 65 4e 65 77 4b | 65 79 77 6f 72 64 7b 5c |makeNewK|eyword{\|
|000035e0| 52 64 7d 7b 72 64 20 7d | 20 5c 6d 61 6b 65 4e 65 |Rd}{rd }| \makeNe|
|000035f0| 77 4b 65 79 77 6f 72 64 | 7b 5c 57 72 7d 7b 77 72 |wKeyword|{\Wr}{wr|
|00003600| 20 7d 0a 25 0a 25 20 70 | 72 65 2d 63 6f 6e 64 69 | }.%.% p|re-condi|
|00003610| 74 69 6f 6e 20 61 6e 64 | 20 70 6f 73 74 2d 63 6f |tion and| post-co|
|00003620| 6e 64 69 74 69 6f 6e 0a | 25 20 2d 2d 2d 2d 2d 2d |ndition.|% ------|
|00003630| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00003640| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 0a 25 20 6f 6e 63 |--------|--.% onc|
|00003650| 65 20 61 67 61 69 6e 20 | 77 65 20 70 72 6f 76 69 |e again |we provi|
|00003660| 64 65 20 73 68 6f 72 74 | 20 66 6f 72 6d 73 20 5c |de short| forms \|
|00003670| 70 72 65 20 61 6e 64 20 | 5c 70 6f 73 74 2c 20 61 |pre and |\post, a|
|00003680| 6e 64 20 65 6e 76 69 72 | 6f 6e 6d 65 6e 74 73 0a |nd envir|onments.|
|00003690| 25 20 70 72 65 63 6f 6e | 64 20 61 6e 64 20 70 6f |% precon|d and po|
|000036a0| 73 74 63 6f 6e 64 0a 5c | 6e 65 77 65 6e 76 69 72 |stcond.\|newenvir|
|000036b0| 6f 6e 6d 65 6e 74 7b 70 | 72 65 63 6f 6e 64 7d 7b |onment{p|recond}{|
|000036c0| 5c 40 62 65 67 69 6e 50 | 72 65 7d 7b 5c 40 65 6e |\@beginP|re}{\@en|
|000036d0| 64 50 72 65 7d 0a 5c 64 | 65 66 5c 70 72 65 23 31 |dPre}.\d|ef\pre#1|
|000036e0| 7b 5c 40 62 65 67 69 6e | 50 72 65 23 31 5c 40 65 |{\@begin|Pre#1\@e|
|000036f0| 6e 64 50 72 65 7d 0a 5c | 64 65 66 5c 40 62 65 67 |ndPre}.\|def\@beg|
|00003700| 69 6e 50 72 65 7b 5c 67 | 6c 6f 62 61 6c 5c 73 65 |inPre{\g|lobal\se|
|00003710| 74 62 6f 78 5c 40 70 72 | 65 43 6f 6e 64 69 74 69 |tbox\@pr|eConditi|
|00003720| 6f 6e 42 6f 78 3d 25 0a | 09 5c 40 62 65 67 69 6e |onBox=%.|.\@begin|
|00003730| 4d 61 74 68 49 6e 64 65 | 6e 74 65 64 50 61 72 61 |MathInde|ntedPara|
|00003740| 7b 5c 68 73 69 7a 65 7d | 7b 70 72 65 20 7d 7d 0a |{\hsize}|{pre }}.|
|00003750| 5c 64 65 66 5c 40 65 6e | 64 50 72 65 7b 5c 40 65 |\def\@en|dPre{\@e|
|00003760| 6e 64 4d 61 74 68 49 6e | 64 65 6e 74 65 64 50 61 |ndMathIn|dentedPa|
|00003770| 72 61 7d 0a 25 0a 5c 6e | 65 77 65 6e 76 69 72 6f |ra}.%.\n|ewenviro|
|00003780| 6e 6d 65 6e 74 7b 70 6f | 73 74 63 6f 6e 64 7d 7b |nment{po|stcond}{|
|00003790| 5c 40 62 65 67 69 6e 50 | 6f 73 74 7d 7b 5c 40 65 |\@beginP|ost}{\@e|
|000037a0| 6e 64 50 6f 73 74 7d 0a | 5c 64 65 66 5c 70 6f 73 |ndPost}.|\def\pos|
|000037b0| 74 23 31 7b 5c 40 62 65 | 67 69 6e 50 6f 73 74 23 |t#1{\@be|ginPost#|
|000037c0| 31 5c 40 65 6e 64 50 6f | 73 74 7d 0a 5c 64 65 66 |1\@endPo|st}.\def|
|000037d0| 5c 40 62 65 67 69 6e 50 | 6f 73 74 7b 5c 67 6c 6f |\@beginP|ost{\glo|
|000037e0| 62 61 6c 5c 73 65 74 62 | 6f 78 5c 40 70 6f 73 74 |bal\setb|ox\@post|
|000037f0| 43 6f 6e 64 69 74 69 6f | 6e 42 6f 78 3d 25 0a 09 |Conditio|nBox=%..|
|00003800| 5c 40 62 65 67 69 6e 4d | 61 74 68 49 6e 64 65 6e |\@beginM|athInden|
|00003810| 74 65 64 50 61 72 61 7b | 5c 68 73 69 7a 65 7d 7b |tedPara{|\hsize}{|
|00003820| 70 6f 73 74 20 7d 7d 0a | 5c 64 65 66 5c 40 65 6e |post }}.|\def\@en|
|00003830| 64 50 6f 73 74 7b 5c 40 | 65 6e 64 4d 61 74 68 49 |dPost{\@|endMathI|
|00003840| 6e 64 65 6e 74 65 64 50 | 61 72 61 7d 0a 25 0a 25 |ndentedP|ara}.%.%|
|00003850| 0a 25 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |.%------|--------|
|00003860| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00003870| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00003880| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00003890| 2d 2d 0a 25 0a 25 09 42 | 6f 78 20 6d 61 6e 5c 6f |--.%.%.B|ox man\o|
|000038a0| 65 20 75 76 72 65 73 0a | 25 0a 25 20 48 65 72 65 |e uvres.|%.% Here|
|000038b0| 27 73 20 77 68 65 72 65 | 20 61 6c 6c 20 74 68 65 |'s where| all the|
|000038c0| 20 74 72 69 63 6b 79 20 | 62 6f 78 20 6d 61 6e 69 | tricky |box mani|
|000038d0| 70 75 6c 61 74 69 6f 6e | 20 63 6f 6d 6d 61 6e 64 |pulation| command|
|000038e0| 73 20 67 6f 0a 25 0a 25 | 20 62 65 67 69 6e 49 6e |s go.%.%| beginIn|
|000038f0| 64 65 6e 74 65 64 50 61 | 72 61 20 62 65 67 69 6e |dentedPa|ra begin|
|00003900| 73 20 63 6f 6e 73 74 72 | 75 63 74 69 6f 6e 20 6f |s constr|uction o|
|00003910| 66 20 61 20 5c 68 62 6f | 78 20 6f 66 20 77 69 64 |f a \hbo|x of wid|
|00003920| 74 68 20 23 31 0a 25 20 | 77 68 69 63 68 20 63 6f |th #1.% |which co|
|00003930| 6e 74 61 69 6e 73 20 6b | 65 79 77 6f 72 64 20 23 |ntains k|eyword #|
|00003940| 32 20 74 6f 20 74 68 65 | 20 6c 65 66 74 20 6f 66 |2 to the| left of|
|00003950| 20 61 20 70 61 72 61 20 | 69 6e 20 61 20 76 74 6f | a para |in a vto|
|00003960| 70 2e 0a 25 20 23 33 20 | 69 73 20 65 76 61 6c 75 |p..% #3 |is evalu|
|00003970| 61 74 65 64 20 77 69 74 | 68 69 6e 20 74 68 65 20 |ated wit|hin the |
|00003980| 69 6e 6e 65 72 20 76 74 | 6f 70 2e 0a 25 20 65 6e |inner vt|op..% en|
|00003990| 64 49 6e 64 65 6e 74 65 | 64 50 61 72 61 20 63 6c |dIndente|dPara cl|
|000039a0| 6f 73 65 73 20 74 68 65 | 20 62 6f 78 20 6f 66 66 |oses the| box off|
|000039b0| 3b 20 69 74 73 20 61 72 | 67 2e 20 69 73 20 65 76 |; its ar|g. is ev|
|000039c0| 61 6c 75 61 74 65 64 20 | 6a 75 73 74 0a 25 20 62 |aluated |just.% b|
|000039d0| 65 66 6f 72 65 20 63 6c | 6f 73 69 6e 67 20 74 68 |efore cl|osing th|
|000039e0| 65 20 62 6f 78 2e 0a 25 | 0a 25 0a 5c 64 65 66 5c |e box..%|.%.\def\|
|000039f0| 40 62 65 67 69 6e 49 6e | 64 65 6e 74 65 64 50 61 |@beginIn|dentedPa|
|00003a00| 72 61 23 31 23 32 23 33 | 7b 5c 68 62 6f 78 20 74 |ra#1#2#3|{\hbox t|
|00003a10| 6f 20 23 31 5c 62 67 72 | 6f 75 70 20 5c 73 65 74 |o #1\bgr|oup \set|
|00003a20| 62 6f 78 30 3d 5c 6b 77 | 7b 23 32 7d 25 0a 09 5c |box0=\kw|{#2}%..\|
|00003a30| 63 6f 70 79 30 20 5c 73 | 74 72 75 74 20 5c 76 74 |copy0 \s|trut \vt|
|00003a40| 6f 70 5c 62 67 72 6f 75 | 70 20 5c 61 64 76 61 6e |op\bgrou|p \advan|
|00003a50| 63 65 5c 68 73 69 7a 65 | 20 62 79 20 2d 5c 77 64 |ce\hsize| by -\wd|
|00003a60| 30 20 23 33 7d 0a 5c 64 | 65 66 5c 40 65 6e 64 49 |0 #3}.\d|ef\@endI|
|00003a70| 6e 64 65 6e 74 65 64 50 | 61 72 61 23 31 7b 5c 73 |ndentedP|ara#1{\s|
|00003a80| 74 72 75 74 23 31 5c 65 | 67 72 6f 75 70 5c 68 73 |trut#1\e|group\hs|
|00003a90| 73 5c 65 67 72 6f 75 70 | 7d 0a 25 20 62 65 67 69 |s\egroup|}.% begi|
|00003aa0| 6e 4d 61 74 68 49 6e 64 | 65 6e 74 65 64 50 61 72 |nMathInd|entedPar|
|00003ab0| 61 20 70 6c 61 63 65 73 | 20 74 68 65 20 70 61 72 |a places| the par|
|00003ac0| 61 20 69 6e 20 6d 61 74 | 68 20 6d 6f 64 65 0a 25 |a in mat|h mode.%|
|00003ad0| 20 74 68 69 73 20 69 6e | 76 6f 6c 76 65 73 20 75 | this in|volves u|
|00003ae0| 6e 75 73 75 61 6c 20 6c | 69 6e 65 20 62 72 65 61 |nusual l|ine brea|
|00003af0| 6b 69 6e 67 2e 2e 2e 0a | 5c 64 65 66 5c 40 72 61 |king....|\def\@ra|
|00003b00| 67 67 65 64 52 69 67 68 | 74 7b 5c 72 69 67 68 74 |ggedRigh|t{\right|
|00003b10| 73 6b 69 70 3d 30 70 74 | 20 70 6c 75 73 20 31 66 |skip=0pt| plus 1f|
|00003b20| 69 6c 20 5c 40 73 65 74 | 55 70 50 65 6e 61 6c 74 |il \@set|UpPenalt|
|00003b30| 69 65 73 7d 0a 5c 64 65 | 66 5c 40 62 65 67 69 6e |ies}.\de|f\@begin|
|00003b40| 4d 61 74 68 49 6e 64 65 | 6e 74 65 64 50 61 72 61 |MathInde|ntedPara|
|00003b50| 23 31 23 32 7b 5c 40 62 | 65 67 69 6e 49 6e 64 65 |#1#2{\@b|eginInde|
|00003b60| 6e 74 65 64 50 61 72 61 | 7b 23 31 7d 7b 23 32 7d |ntedPara|{#1}{#2}|
|00003b70| 25 0a 09 7b 5c 40 72 61 | 67 67 65 64 52 69 67 68 |%..{\@ra|ggedRigh|
|00003b80| 74 5c 6e 6f 69 6e 64 65 | 6e 74 24 5c 72 65 6c 61 |t\noinde|nt$\rela|
|00003b90| 78 7d 7d 0a 5c 64 65 66 | 5c 40 65 6e 64 4d 61 74 |x}}.\def|\@endMat|
|00003ba0| 68 49 6e 64 65 6e 74 65 | 64 50 61 72 61 7b 5c 40 |hIndente|dPara{\@|
|00003bb0| 65 6e 64 49 6e 64 65 6e | 74 65 64 50 61 72 61 7b |endInden|tedPara{|
|00003bc0| 5c 72 65 6c 61 78 24 7d | 7d 0a 5c 64 65 66 5c 40 |\relax$}|}.\def\@|
|00003bd0| 73 65 74 55 70 50 65 6e | 61 6c 74 69 65 73 7b 5c |setUpPen|alties{\|
|00003be0| 68 79 70 68 65 6e 70 65 | 6e 61 6c 74 79 3d 2d 31 |hyphenpe|nalty=-1|
|00003bf0| 30 30 20 5c 6c 69 6e 65 | 70 65 6e 61 6c 74 79 3d |00 \line|penalty=|
|00003c00| 32 30 30 0a 09 5c 62 69 | 6e 6f 70 70 65 6e 61 6c |200..\bi|noppenal|
|00003c10| 74 79 3d 31 30 30 30 30 | 20 5c 72 65 6c 70 65 6e |ty=10000| \relpen|
|00003c20| 61 6c 74 79 3d 31 30 30 | 30 30 20 5c 70 72 65 74 |alty=100|00 \pret|
|00003c30| 6f 6c 65 72 61 6e 63 65 | 3d 2d 31 7d 0a 25 0a 25 |olerance|=-1}.%.%|
|00003c40| 0a 25 20 5c 40 62 65 6c | 6f 77 41 6e 64 49 6e 64 |.% \@bel|owAndInd|
|00003c50| 65 6e 74 23 31 23 32 20 | 70 6c 61 63 65 73 20 23 |ent#1#2 |places #|
|00003c60| 32 20 69 6e 20 61 20 76 | 62 6f 78 20 62 65 6c 6f |2 in a v|box belo|
|00003c70| 77 20 61 6e 64 20 74 6f | 20 74 68 65 20 72 69 67 |w and to| the rig|
|00003c80| 68 74 20 6f 66 20 23 31 | 0a 5c 64 65 66 5c 40 62 |ht of #1|.\def\@b|
|00003c90| 65 6c 6f 77 41 6e 64 49 | 6e 64 65 6e 74 23 31 23 |elowAndI|ndent#1#|
|00003ca0| 32 7b 25 20 70 6c 61 63 | 65 20 62 6f 64 79 20 69 |2{% plac|e body i|
|00003cb0| 6e 20 61 20 73 65 70 61 | 72 61 74 65 20 62 6f 78 |n a sepa|rate box|
|00003cc0| 20 62 65 6c 6f 77 20 61 | 6e 64 20 74 6f 20 74 68 | below a|nd to th|
|00003cd0| 65 20 72 69 67 68 74 0a | 09 23 31 5c 68 66 69 6c |e right.|.#1\hfil|
|00003ce0| 5c 62 72 65 61 6b 0a 09 | 5c 40 62 65 67 69 6e 4d |\break..|\@beginM|
|00003cf0| 61 74 68 49 6e 64 65 6e | 74 65 64 50 61 72 61 7b |athInden|tedPara{|
|00003d00| 5c 68 73 69 7a 65 7d 7b | 5c 71 71 75 61 64 7d 23 |\hsize}{|\qquad}#|
|00003d10| 32 5c 40 65 6e 64 4d 61 | 74 68 49 6e 64 65 6e 74 |2\@endMa|thIndent|
|00003d20| 65 64 50 61 72 61 7d 0a | 25 0a 25 2d 2d 2d 2d 2d |edPara}.|%.%-----|
|00003d30| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00003d40| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00003d50| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00003d60| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 0a 25 0a 25 09 |--------|---.%.%.|
|00003d70| 43 6f 6e 73 74 72 75 63 | 74 69 6f 6e 73 0a 25 0a |Construc|tions.%.|
|00003d80| 25 20 48 65 72 65 20 61 | 72 65 20 61 6c 6c 20 74 |% Here a|re all t|
|00003d90| 68 65 20 73 74 61 6e 64 | 61 72 64 20 63 6f 6e 73 |he stand|ard cons|
|00003da0| 74 72 75 63 74 69 6f 6e | 73 0a 25 20 54 68 65 20 |truction|s.% The |
|00003db0| 6f 6e 6c 79 20 74 72 69 | 63 6b 79 20 6f 6e 65 20 |only tri|cky one |
|00003dc0| 69 73 20 5c 63 61 73 65 | 73 0a 25 20 54 68 6f 73 |is \case|s.% Thos|
|00003dd0| 65 20 74 68 61 74 20 63 | 6f 6e 73 74 72 75 63 74 |e that c|onstruct|
|00003de0| 20 61 20 62 6f 78 20 6d | 75 73 74 20 62 65 20 6d | a box m|ust be m|
|00003df0| 61 64 65 20 74 6f 20 6d | 61 6b 65 20 74 68 61 74 |ade to m|ake that|
|00003e00| 20 62 6f 78 20 6f 66 20 | 30 20 77 69 64 74 68 2c | box of |0 width,|
|00003e10| 0a 25 20 61 6e 64 20 66 | 6f 72 63 65 20 61 20 6c |.% and f|orce a l|
|00003e20| 69 6e 65 20 62 72 65 61 | 6b 20 69 6d 6d 65 64 69 |ine brea|k immedi|
|00003e30| 61 74 65 6c 79 20 61 66 | 74 65 72 77 61 72 64 73 |ately af|terwards|
|00003e40| 2e 0a 25 0a 25 20 5c 49 | 66 20 6d 6d 2d 65 78 70 |..%.% \I|f mm-exp|
|00003e50| 20 5c 54 68 65 6e 20 6d | 6d 2d 65 78 70 20 5c 45 | \Then m|m-exp \E|
|00003e60| 6c 73 65 20 6d 6d 2d 65 | 78 70 20 5c 46 69 0a 25 |lse mm-e|xp \Fi.%|
|00003e70| 20 6d 75 6c 74 69 2d 6c | 69 6e 65 20 69 6e 64 65 | multi-l|ine inde|
|00003e80| 6e 74 65 64 20 69 66 2d | 74 68 65 6e 2d 65 6c 73 |nted if-|then-els|
|00003e90| 65 0a 25 0a 5c 64 65 66 | 5c 49 66 23 31 5c 54 68 |e.%.\def|\If#1\Th|
|00003ea0| 65 6e 23 32 5c 45 6c 73 | 65 23 33 5c 46 69 7b 5c |en#2\Els|e#3\Fi{\|
|00003eb0| 76 74 6f 70 7b 25 0a 09 | 5c 40 62 65 67 69 6e 4d |vtop{%..|\@beginM|
|00003ec0| 61 74 68 49 6e 64 65 6e | 74 65 64 50 61 72 61 7b |athInden|tedPara{|
|00003ed0| 30 70 74 7d 7b 69 66 20 | 7d 23 31 5c 40 65 6e 64 |0pt}{if |}#1\@end|
|00003ee0| 4d 61 74 68 49 6e 64 65 | 6e 74 65 64 50 61 72 61 |MathInde|ntedPara|
|00003ef0| 0a 09 5c 40 62 65 67 69 | 6e 4d 61 74 68 49 6e 64 |..\@begi|nMathInd|
|00003f00| 65 6e 74 65 64 50 61 72 | 61 7b 30 70 74 7d 7b 74 |entedPar|a{0pt}{t|
|00003f10| 68 65 6e 20 7d 23 32 5c | 40 65 6e 64 4d 61 74 68 |hen }#2\|@endMath|
|00003f20| 49 6e 64 65 6e 74 65 64 | 50 61 72 61 0a 09 5c 40 |Indented|Para..\@|
|00003f30| 62 65 67 69 6e 4d 61 74 | 68 49 6e 64 65 6e 74 65 |beginMat|hIndente|
|00003f40| 64 50 61 72 61 7b 30 70 | 74 7d 7b 65 6c 73 65 20 |dPara{0p|t}{else |
|00003f50| 7d 23 33 5c 40 65 6e 64 | 4d 61 74 68 49 6e 64 65 |}#3\@end|MathInde|
|00003f60| 6e 74 65 64 50 61 72 61 | 7d 7d 0a 25 0a 25 20 5c |ntedPara|}}.%.% \|
|00003f70| 53 49 66 20 6d 6d 2d 65 | 78 70 20 5c 54 68 65 6e |SIf mm-e|xp \Then|
|00003f80| 20 6d 6d 2d 65 78 70 20 | 5c 45 6c 73 65 20 6d 6d | mm-exp |\Else mm|
|00003f90| 2d 65 78 70 20 5c 46 69 | 0a 25 20 73 69 6e 67 6c |-exp \Fi|.% singl|
|00003fa0| 65 20 6c 69 6e 65 20 69 | 66 2d 74 68 65 6e 2d 65 |e line i|f-then-e|
|00003fb0| 6c 73 65 0a 5c 64 65 66 | 5c 53 49 66 23 31 5c 54 |lse.\def|\SIf#1\T|
|00003fc0| 68 65 6e 23 32 5c 45 6c | 73 65 23 33 5c 46 69 7b |hen#2\El|se#3\Fi{|
|00003fd0| 5c 68 62 6f 78 20 74 6f | 20 30 70 74 7b 5c 76 74 |\hbox to| 0pt{\vt|
|00003fe0| 6f 70 7b 5c 40 72 61 67 | 67 65 64 52 69 67 68 74 |op{\@rag|gedRight|
|00003ff0| 5c 6e 6f 69 6e 64 65 6e | 74 24 25 0a 09 5c 6b 77 |\noinden|t$%..\kw|
|00004000| 7b 69 66 20 7d 5c 6e 6f | 62 72 65 61 6b 23 31 5c |{if }\no|break#1\|
|00004010| 68 73 6b 69 70 20 30 2e | 35 65 6d 5c 70 65 6e 61 |hskip 0.|5em\pena|
|00004020| 6c 74 79 30 0a 09 5c 6b | 77 7b 74 68 65 6e 20 7d |lty0..\k|w{then }|
|00004030| 5c 6e 6f 62 72 65 61 6b | 23 32 5c 68 73 6b 69 70 |\nobreak|#2\hskip|
|00004040| 20 30 2e 35 65 6d 5c 70 | 65 6e 61 6c 74 79 2d 31 | 0.5em\p|enalty-1|
|00004050| 30 30 20 25 20 62 72 65 | 61 6b 20 68 65 72 65 20 |00 % bre|ak here |
|00004060| 4f 4b 0a 09 5c 6b 77 7b | 65 6c 73 65 20 7d 5c 6e |OK..\kw{|else }\n|
|00004070| 6f 62 72 65 61 6b 23 33 | 24 7d 5c 68 73 73 7d 5c |obreak#3|$}\hss}\|
|00004080| 68 66 69 6c 5c 62 72 65 | 61 6b 7d 0a 25 0a 25 20 |hfil\bre|ak}.%.% |
|00004090| 5c 4c 65 74 20 6d 6d 2d | 65 78 70 20 5c 49 6e 20 |\Let mm-|exp \In |
|000040a0| 6d 6d 2d 65 78 70 32 0a | 25 20 6d 75 6c 74 69 2d |mm-exp2.|% multi-|
|000040b0| 6c 69 6e 65 20 6c 65 74 | 2e 2e 69 6e 20 3b 20 6d |line let|..in ; m|
|000040c0| 6d 2d 65 78 70 32 20 69 | 73 20 63 75 72 72 69 65 |m-exp2 i|s currie|
|000040d0| 64 0a 5c 64 65 66 5c 4c | 65 74 23 31 5c 49 6e 7b |d.\def\L|et#1\In{|
|000040e0| 5c 76 74 6f 70 7b 25 0a | 09 5c 40 62 65 67 69 6e |\vtop{%.|.\@begin|
|000040f0| 4d 61 74 68 49 6e 64 65 | 6e 74 65 64 50 61 72 61 |MathInde|ntedPara|
|00004100| 7b 30 70 74 7d 7b 6c 65 | 74 20 7d 23 31 5c 68 73 |{0pt}{le|t }#1\hs|
|00004110| 6b 69 70 20 30 2e 35 65 | 6d 0a 09 5c 6b 77 7b 69 |kip 0.5e|m..\kw{i|
|00004120| 6e 7d 5c 40 65 6e 64 4d | 61 74 68 49 6e 64 65 6e |n}\@endM|athInden|
|00004130| 74 65 64 50 61 72 61 7d | 5c 68 66 69 6c 5c 62 72 |tedPara}|\hfil\br|
|00004140| 65 61 6b 7d 0a 25 0a 25 | 20 5c 53 4c 65 74 20 6d |eak}.%.%| \SLet m|
|00004150| 6d 2d 65 78 70 20 5c 49 | 6e 20 6d 6d 2d 65 78 70 |m-exp \I|n mm-exp|
|00004160| 0a 25 20 73 69 6e 67 6c | 65 2d 6c 69 6e 65 20 6c |.% singl|e-line l|
|00004170| 65 74 2e 2e 69 6e 0a 5c | 64 65 66 5c 53 4c 65 74 |et..in.\|def\SLet|
|00004180| 23 31 5c 49 6e 23 32 7b | 5c 68 62 6f 78 20 74 6f |#1\In#2{|\hbox to|
|00004190| 20 30 70 74 7b 5c 76 74 | 6f 70 7b 5c 6e 6f 69 6e | 0pt{\vt|op{\noin|
|000041a0| 64 65 6e 74 24 5c 6b 77 | 7b 6c 65 74 20 7d 5c 6e |dent$\kw|{let }\n|
|000041b0| 6f 62 72 65 61 6b 23 31 | 5c 68 73 6b 69 70 20 30 |obreak#1|\hskip 0|
|000041c0| 2e 35 65 6d 0a 09 5c 6b | 77 7b 69 6e 20 7d 5c 70 |.5em..\k|w{in }\p|
|000041d0| 65 6e 61 6c 74 79 2d 32 | 30 30 20 23 32 5c 72 65 |enalty-2|00 #2\re|
|000041e0| 6c 61 78 24 7d 5c 68 73 | 73 7d 5c 68 66 69 6c 5c |lax$}\hs|s}\hfil\|
|000041f0| 62 72 65 61 6b 7d 0a 25 | 0a 25 20 6d 75 6c 74 69 |break}.%|.% multi|
|00004200| 2d 6c 69 6e 65 20 63 61 | 73 65 73 0a 25 20 0a 25 |-line ca|ses.% .%|
|00004210| 20 5c 43 61 73 65 73 7b | 20 73 65 6c 65 63 74 69 | \Cases{| selecti|
|00004220| 6e 67 2d 6d 6d 2d 65 78 | 70 20 7d 0a 25 20 66 72 |ng-mm-ex|p }.% fr|
|00004230| 6f 6d 2d 63 61 73 65 31 | 20 26 20 74 6f 2d 63 61 |om-case1| & to-ca|
|00004240| 73 65 31 20 5c 5c 0a 25 | 20 66 72 6f 6d 2d 63 61 |se1 \\.%| from-ca|
|00004250| 73 65 32 20 26 20 74 6f | 2d 63 61 73 65 32 20 5c |se2 & to|-case2 \|
|00004260| 5c 0a 25 09 20 20 20 20 | 2e 2e 2e 0a 25 20 66 72 |\.%.    |....% fr|
|00004270| 6f 6d 2d 63 61 73 65 6e | 20 26 20 74 6f 2d 63 61 |om-casen| & to-ca|
|00004280| 73 65 6e 0a 25 20 5c 4f | 74 68 65 72 77 69 73 65 |sen.% \O|therwise|
|00004290| 7b 20 6d 6d 2d 65 78 70 | 20 7d 0a 25 20 5c 45 6e |{ mm-exp| }.% \En|
|000042a0| 64 63 61 73 65 73 5b 6f | 70 74 69 6f 6e 61 6c 20 |dcases[o|ptional |
|000042b0| 74 65 78 74 20 66 6f 72 | 20 74 68 65 20 72 65 73 |text for| the res|
|000042c0| 74 20 6f 66 20 74 68 65 | 20 6c 69 6e 65 5d 0a 25 |t of the| line].%|
|000042d0| 0a 5c 6e 65 77 69 66 5c | 69 66 4f 74 68 65 72 77 |.\newif\|ifOtherw|
|000042e0| 69 73 65 45 6e 63 6f 75 | 6e 74 65 72 65 64 40 0a |iseEncou|ntered@.|
|000042f0| 5c 6e 65 77 74 6f 6b 73 | 5c 40 4f 74 68 65 72 77 |\newtoks|\@Otherw|
|00004300| 69 73 65 54 6f 6b 65 6e | 73 0a 25 0a 5c 64 65 66 |iseToken|s.%.\def|
|00004310| 5c 43 61 73 65 73 23 31 | 7b 5c 68 62 6f 78 20 74 |\Cases#1|{\hbox t|
|00004320| 6f 20 30 70 74 5c 62 67 | 72 6f 75 70 20 5c 76 74 |o 0pt\bg|roup \vt|
|00004330| 6f 70 5c 62 67 72 6f 75 | 70 0a 09 09 5c 40 62 65 |op\bgrou|p...\@be|
|00004340| 67 69 6e 4d 61 74 68 49 | 6e 64 65 6e 74 65 64 50 |ginMathI|ndentedP|
|00004350| 61 72 61 7b 5c 68 73 69 | 7a 65 7d 7b 63 61 73 65 |ara{\hsi|ze}{case|
|00004360| 73 20 7d 5c 73 74 72 75 | 74 0a 09 09 09 23 31 5c |s }\stru|t....#1\|
|00004370| 68 73 6b 69 70 20 30 2e | 35 65 6d 5c 73 74 72 75 |hskip 0.|5em\stru|
|00004380| 74 5c 6b 77 7b 6f 66 7d | 25 0a 09 09 5c 40 65 6e |t\kw{of}|%...\@en|
|00004390| 64 4d 61 74 68 49 6e 64 | 65 6e 74 65 64 50 61 72 |dMathInd|entedPar|
|000043a0| 61 0a 09 09 5c 62 67 72 | 6f 75 70 20 25 20 77 65 |a...\bgr|oup % we|
|000043b0| 20 6d 69 67 68 74 20 62 | 65 20 69 6e 20 61 20 6e | might b|e in a n|
|000043c0| 65 73 74 65 64 20 63 61 | 73 65 2c 20 73 6f 20 77 |ested ca|se, so w|
|000043d0| 65 20 68 61 76 65 20 74 | 6f 0a 09 09 09 25 20 73 |e have t|o....% s|
|000043e0| 61 76 65 20 74 68 65 20 | 5c 4f 74 68 65 72 77 69 |ave the |\Otherwi|
|000043f0| 73 65 20 62 69 74 73 20 | 77 65 20 6d 69 67 68 74 |se bits |we might|
|00004400| 20 6c 6f 73 65 0a 09 09 | 5c 4f 74 68 65 72 77 69 | lose...|\Otherwi|
|00004410| 73 65 45 6e 63 6f 75 6e | 74 65 72 65 64 40 66 61 |seEncoun|tered@fa|
|00004420| 6c 73 65 20 5c 40 63 68 | 61 6e 67 65 4c 69 6e 65 |lse \@ch|angeLine|
|00004430| 53 65 70 61 72 61 74 6f | 72 20 0a 09 09 5c 40 62 |Separato|r ...\@b|
|00004440| 65 67 69 6e 43 61 73 65 | 73 41 6c 69 67 6e 6d 65 |eginCase|sAlignme|
|00004450| 6e 74 7d 0a 25 0a 25 20 | 74 68 65 20 75 73 65 72 |nt}.%.% |the user|
|00004460| 20 63 61 6e 20 64 65 63 | 69 64 65 20 6f 6e 20 74 | can dec|ide on t|
|00004470| 68 65 20 65 78 61 63 74 | 20 61 6c 69 67 6e 6d 65 |he exact| alignme|
|00004480| 6e 74 0a 5c 6e 65 77 74 | 6f 6b 73 5c 40 63 61 73 |nt.\newt|oks\@cas|
|00004490| 65 73 44 65 66 0a 5c 64 | 65 66 5c 6c 65 66 74 43 |esDef.\d|ef\leftC|
|000044a0| 61 73 65 73 7b 5c 40 63 | 61 73 65 73 44 65 66 3d |ases{\@c|asesDef=|
|000044b0| 7b 24 23 23 24 5c 68 66 | 69 6c 7d 7d 0a 5c 64 65 |{$##$\hf|il}}.\de|
|000044c0| 66 5c 72 69 67 68 74 43 | 61 73 65 73 7b 5c 40 63 |f\rightC|ases{\@c|
|000044d0| 61 73 65 73 44 65 66 3d | 7b 5c 68 66 69 6c 24 23 |asesDef=|{\hfil$#|
|000044e0| 23 24 7d 7d 0a 5c 72 69 | 67 68 74 43 61 73 65 73 |#$}}.\ri|ghtCases|
|000044f0| 0a 25 0a 25 20 74 68 65 | 20 5c 65 78 70 61 6e 64 |.%.% the| \expand|
|00004500| 61 66 74 65 72 73 20 61 | 72 65 20 6e 65 63 65 73 |afters a|re neces|
|00004510| 73 61 72 79 20 62 65 63 | 61 75 73 65 20 54 65 58 |sary bec|ause TeX|
|00004520| 20 64 6f 65 73 6e 27 74 | 20 65 78 70 61 6e 64 0a | doesn't| expand.|
|00004530| 25 20 5c 68 61 6c 69 67 | 6e 20 73 70 65 63 73 20 |% \halig|n specs |
|00004540| 77 68 65 6e 20 73 63 61 | 6e 6e 69 6e 67 20 66 6f |when sca|nning fo|
|00004550| 72 20 23 20 61 6e 64 20 | 26 0a 5c 64 65 66 5c 40 |r # and |&.\def\@|
|00004560| 62 65 67 69 6e 43 61 73 | 65 73 41 6c 69 67 6e 6d |beginCas|esAlignm|
|00004570| 65 6e 74 7b 5c 65 78 70 | 61 6e 64 61 66 74 65 72 |ent{\exp|andafter|
|00004580| 5c 68 61 6c 69 67 6e 5c | 65 78 70 61 6e 64 61 66 |\halign\|expandaf|
|00004590| 74 65 72 5c 62 67 72 6f | 75 70 0a 09 5c 74 68 65 |ter\bgro|up..\the|
|000045a0| 5c 40 63 61 73 65 73 44 | 65 66 26 24 5c 2c 5c 72 |\@casesD|ef&$\,\r|
|000045b0| 69 67 68 74 61 72 72 6f | 77 23 23 24 5c 68 66 69 |ightarro|w##$\hfi|
|000045c0| 6c 5c 63 72 7d 0a 25 0a | 5c 64 65 66 5c 4f 74 68 |l\cr}.%.|\def\Oth|
|000045d0| 65 72 77 69 73 65 7b 5c | 67 6c 6f 62 61 6c 5c 4f |erwise{\|global\O|
|000045e0| 74 68 65 72 77 69 73 65 | 45 6e 63 6f 75 6e 74 65 |therwise|Encounte|
|000045f0| 72 65 64 40 74 72 75 65 | 20 5c 67 6c 6f 62 61 6c |red@true| \global|
|00004600| 5c 40 4f 74 68 65 72 77 | 69 73 65 54 6f 6b 65 6e |\@Otherw|iseToken|
|00004610| 73 3d 7d 0a 25 0a 5c 64 | 65 66 5c 45 6e 64 63 61 |s=}.%.\d|ef\Endca|
|00004620| 73 65 73 7b 5c 40 65 6e | 64 43 61 73 65 73 41 6c |ses{\@en|dCasesAl|
|00004630| 69 67 6e 6d 65 6e 74 20 | 5c 40 73 65 74 4f 74 68 |ignment |\@setOth|
|00004640| 65 72 77 69 73 65 20 5c | 65 67 72 6f 75 70 20 5c |erwise \|egroup \|
|00004650| 40 73 65 74 45 6e 64 63 | 61 73 65 73 7d 0a 5c 64 |@setEndc|ases}.\d|
|00004660| 65 66 5c 40 65 6e 64 43 | 61 73 65 73 41 6c 69 67 |ef\@endC|asesAlig|
|00004670| 6e 6d 65 6e 74 7b 5c 63 | 72 63 72 5c 65 67 72 6f |nment{\c|rcr\egro|
|00004680| 75 70 7d 0a 5c 64 65 66 | 5c 40 73 65 74 4f 74 68 |up}.\def|\@setOth|
|00004690| 65 72 77 69 73 65 7b 5c | 69 66 4f 74 68 65 72 77 |erwise{\|ifOtherw|
|000046a0| 69 73 65 45 6e 63 6f 75 | 6e 74 65 72 65 64 40 20 |iseEncou|ntered@ |
|000046b0| 25 20 68 61 76 65 20 61 | 6e 20 6f 74 68 65 72 77 |% have a|n otherw|
|000046c0| 69 73 65 20 63 6c 61 75 | 73 65 0a 09 5c 40 62 65 |ise clau|se..\@be|
|000046d0| 67 69 6e 4d 61 74 68 49 | 6e 64 65 6e 74 65 64 50 |ginMathI|ndentedP|
|000046e0| 61 72 61 7b 5c 68 73 69 | 7a 65 7d 7b 6f 74 68 65 |ara{\hsi|ze}{othe|
|000046f0| 72 77 69 73 65 20 7d 25 | 0a 09 5c 73 74 72 75 74 |rwise }%|..\strut|
|00004700| 5c 74 68 65 5c 40 4f 74 | 68 65 72 77 69 73 65 54 |\the\@Ot|herwiseT|
|00004710| 6f 6b 65 6e 73 5c 73 74 | 72 75 74 0a 09 5c 40 65 |okens\st|rut..\@e|
|00004720| 6e 64 4d 61 74 68 49 6e | 64 65 6e 74 65 64 50 61 |ndMathIn|dentedPa|
|00004730| 72 61 0a 09 5c 66 69 7d | 0a 25 20 6d 75 73 74 20 |ra..\fi}|.% must |
|00004740| 74 65 73 74 20 66 6f 72 | 20 74 68 65 20 6f 70 74 |test for| the opt|
|00004750| 69 6f 6e 61 6c 20 61 72 | 67 20 74 6f 20 66 6f 6c |ional ar|g to fol|
|00004760| 6c 6f 77 20 74 68 65 20 | 65 6e 64 0a 5c 64 65 66 |low the |end.\def|
|00004770| 5c 40 73 65 74 45 6e 64 | 63 61 73 65 73 7b 5c 6e |\@setEnd|cases{\n|
|00004780| 6f 69 6e 64 65 6e 74 0a | 09 5c 73 74 72 75 74 5c |oindent.|.\strut\|
|00004790| 6b 77 7b 65 6e 64 7d 5c | 40 69 66 6e 65 78 74 63 |kw{end}\|@ifnextc|
|000047a0| 68 61 72 20 5b 7b 5c 40 | 75 6e 62 72 61 63 6b 65 |har [{\@|unbracke|
|000047b0| 74 7d 7b 5c 40 66 69 6e | 61 6c 43 61 73 65 45 6e |t}{\@fin|alCaseEn|
|000047c0| 64 7d 7d 0a 5c 64 65 66 | 5c 40 75 6e 62 72 61 63 |d}}.\def|\@unbrac|
|000047d0| 6b 65 74 5b 23 31 5d 7b | 24 23 31 24 5c 40 66 69 |ket[#1]{|$#1$\@fi|
|000047e0| 6e 61 6c 43 61 73 65 45 | 6e 64 7d 0a 5c 64 65 66 |nalCaseE|nd}.\def|
|000047f0| 5c 40 66 69 6e 61 6c 43 | 61 73 65 45 6e 64 7b 5c |\@finalC|aseEnd{\|
|00004800| 65 67 72 6f 75 70 5c 68 | 73 73 5c 65 67 72 6f 75 |egroup\h|ss\egrou|
|00004810| 70 5c 68 66 69 6c 5c 62 | 72 65 61 6b 7d 0a 25 0a |p\hfil\b|reak}.%.|
|00004820| 25 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |%-------|--------|
|00004830| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00004840| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00004850| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00004860| 2d 0a 25 0a 25 09 73 70 | 65 63 69 61 6c 20 73 79 |-.%.%.sp|ecial sy|
|00004870| 6d 62 6f 6c 73 0a 25 0a | 25 20 64 65 66 69 6e 65 |mbols.%.|% define|
|00004880| 64 20 61 73 0a 5c 64 65 | 66 5c 44 45 46 7b 5c 72 |d as.\de|f\DEF{\r|
|00004890| 61 69 73 65 2e 35 65 78 | 0a 09 5c 68 62 6f 78 7b |aise.5ex|..\hbox{|
|000048a0| 5c 66 6f 6f 74 6e 6f 74 | 65 73 69 7a 65 5c 75 6e |\footnot|esize\un|
|000048b0| 64 65 72 6c 69 6e 65 7b | 24 5c 63 61 6c 34 24 7d |derline{|$\cal4$}|
|000048c0| 7d 7d 25 20 5c 63 61 6c | 34 20 69 73 20 61 20 5c |}}% \cal|4 is a \|
|000048d0| 74 72 69 61 6e 67 6c 65 | 0a 25 0a 25 20 63 72 6f |triangle|.%.% cro|
|000048e0| 73 73 20 70 72 6f 64 75 | 63 74 0a 5c 6c 65 74 5c |ss produ|ct.\let\|
|000048f0| 78 3d 5c 74 69 6d 65 73 | 0a 25 0a 25 09 6c 6f 67 |x=\times|.%.%.log|
|00004900| 69 63 61 6c 20 63 6f 6e | 6e 65 63 74 69 76 65 73 |ical con|nectives|
|00004910| 0a 25 0a 5c 64 65 66 5c | 49 66 66 7b 5c 70 65 6e |.%.\def\|Iff{\pen|
|00004920| 61 6c 74 79 2d 35 30 5c | 6d 73 6b 69 70 20 37 6d |alty-50\|mskip 7m|
|00004930| 75 20 70 6c 75 73 20 32 | 6d 75 20 6d 69 6e 75 73 |u plus 2|mu minus|
|00004940| 20 32 6d 75 0a 09 5c 4c | 65 66 74 72 69 67 68 74 | 2mu..\L|eftright|
|00004950| 61 72 72 6f 77 5c 6d 73 | 6b 69 70 20 37 6d 75 20 |arrow\ms|kip 7mu |
|00004960| 70 6c 75 73 20 32 6d 75 | 20 6d 69 6e 75 73 20 32 |plus 2mu| minus 2|
|00004970| 6d 75 7d 0a 5c 6c 65 74 | 5c 69 66 66 3d 5c 49 66 |mu}.\let|\iff=\If|
|00004980| 66 0a 5c 64 65 66 5c 49 | 6d 70 6c 69 65 73 7b 5c |f.\def\I|mplies{\|
|00004990| 70 65 6e 61 6c 74 79 2d | 33 35 5c 6d 73 6b 69 70 |penalty-|35\mskip|
|000049a0| 20 36 6d 75 20 70 6c 75 | 73 20 32 6d 75 20 6d 69 | 6mu plu|s 2mu mi|
|000049b0| 6e 75 73 20 31 6d 75 20 | 5c 52 69 67 68 74 61 72 |nus 1mu |\Rightar|
|000049c0| 72 6f 77 0a 09 5c 6d 73 | 6b 69 70 20 36 6d 75 20 |row..\ms|kip 6mu |
|000049d0| 70 6c 75 73 20 32 6d 75 | 20 6d 69 6e 75 73 20 31 |plus 2mu| minus 1|
|000049e0| 6d 75 7d 0a 5c 6c 65 74 | 5c 69 6d 70 6c 69 65 73 |mu}.\let|\implies|
|000049f0| 3d 5c 49 6d 70 6c 69 65 | 73 0a 25 20 73 65 65 20 |=\Implie|s.% see |
|00004a00| 63 68 61 6e 67 65 4f 74 | 68 65 72 4d 61 74 68 63 |changeOt|herMathc|
|00004a10| 6f 64 65 73 20 66 6f 72 | 20 5c 4f 72 0a 5c 6c 65 |odes for| \Or.\le|
|00004a20| 74 5c 41 6e 64 3d 5c 6c | 61 6e 64 0a 5c 6c 65 74 |t\And=\l|and.\let|
|00004a30| 5c 61 6e 64 3d 5c 41 6e | 64 0a 25 20 20 75 73 65 |\and=\An|d.%  use|
|00004a40| 20 5c 6e 65 67 20 66 6f | 72 20 6c 6f 67 69 63 61 | \neg fo|r logica|
|00004a50| 6c 20 6e 6f 74 2c 20 6f | 72 0a 5c 6c 65 74 5c 4e |l not, o|r.\let\N|
|00004a60| 6f 74 3d 5c 6e 65 67 0a | 25 0a 25 09 71 75 61 6e |ot=\neg.|%.%.quan|
|00004a70| 74 69 66 69 63 61 74 69 | 6f 6e 0a 25 0a 5c 6d 61 |tificati|on.%.\ma|
|00004a80| 74 68 63 68 61 72 64 65 | 66 5c 45 78 69 73 74 73 |thcharde|f\Exists|
|00004a90| 3d 22 30 32 33 39 0a 5c | 6d 61 74 68 63 68 61 72 |="0239.\|mathchar|
|00004aa0| 64 65 66 5c 46 6f 72 61 | 6c 6c 3d 22 30 32 33 38 |def\Fora|ll="0238|
|00004ab0| 0a 5c 64 65 66 5c 73 75 | 63 68 74 68 61 74 7b 5c |.\def\su|chthat{\|
|00004ac0| 6d 61 74 68 63 68 61 72 | 22 32 32 30 31 20 7d 0a |mathchar|"2201 }.|
|00004ad0| 5c 64 65 66 5c 65 78 69 | 73 74 73 7b 5c 40 69 66 |\def\exi|sts{\@if|
|00004ae0| 73 74 61 72 7b 5c 40 73 | 70 6c 69 74 45 78 69 73 |star{\@s|plitExis|
|00004af0| 74 73 7d 7b 5c 40 6e 6f | 72 6d 61 6c 45 78 69 73 |ts}{\@no|rmalExis|
|00004b00| 74 73 7d 7d 0a 5c 64 65 | 66 5c 6e 65 78 69 73 74 |ts}}.\de|f\nexist|
|00004b10| 73 7b 5c 40 69 66 73 74 | 61 72 7b 5c 40 73 70 6c |s{\@ifst|ar{\@spl|
|00004b20| 69 74 4e 45 78 69 73 74 | 73 7d 7b 5c 40 6e 6f 72 |itNExist|s}{\@nor|
|00004b30| 6d 61 6c 4e 45 78 69 73 | 74 73 7d 7d 0a 5c 64 65 |malNExis|ts}}.\de|
|00004b40| 66 5c 66 6f 72 61 6c 6c | 7b 5c 40 69 66 73 74 61 |f\forall|{\@ifsta|
|00004b50| 72 7b 5c 40 73 70 6c 69 | 74 46 6f 72 61 6c 6c 7d |r{\@spli|tForall}|
|00004b60| 7b 5c 40 6e 6f 72 6d 61 | 6c 46 6f 72 61 6c 6c 7d |{\@norma|lForall}|
|00004b70| 7d 0a 5c 64 65 66 5c 75 | 6e 69 71 75 65 7b 5c 40 |}.\def\u|nique{\@|
|00004b80| 69 66 73 74 61 72 7b 5c | 40 73 70 6c 69 74 55 6e |ifstar{\|@splitUn|
|00004b90| 69 71 75 65 7d 7b 5c 40 | 6e 6f 72 6d 61 6c 55 6e |ique}{\@|normalUn|
|00004ba0| 69 71 75 65 7d 7d 0a 5c | 64 65 66 5c 40 6e 6f 72 |ique}}.\|def\@nor|
|00004bb0| 6d 61 6c 45 78 69 73 74 | 73 23 31 23 32 7b 7b 5c |malExist|s#1#2{{\|
|00004bc0| 45 78 69 73 74 73 23 31 | 7d 5c 73 75 63 68 74 68 |Exists#1|}\suchth|
|00004bd0| 61 74 20 23 32 7d 0a 5c | 64 65 66 5c 40 6e 6f 72 |at #2}.\|def\@nor|
|00004be0| 6d 61 6c 4e 45 78 69 73 | 74 73 23 31 23 32 7b 5c |malNExis|ts#1#2{\|
|00004bf0| 68 62 6f 78 20 74 6f 20 | 30 70 74 7b 5c 72 61 69 |hbox to |0pt{\rai|
|00004c00| 73 65 30 2e 31 35 65 78 | 0a 09 5c 68 62 6f 78 7b |se0.15ex|..\hbox{|
|00004c10| 2f 7d 5c 68 73 73 7d 7b | 5c 45 78 69 73 74 73 23 |/}\hss}{|\Exists#|
|00004c20| 31 7d 5c 73 75 63 68 74 | 68 61 74 20 23 32 7d 0a |1}\sucht|hat #2}.|
|00004c30| 5c 64 65 66 5c 40 6e 6f | 72 6d 61 6c 46 6f 72 61 |\def\@no|rmalFora|
|00004c40| 6c 6c 23 31 23 32 7b 7b | 5c 46 6f 72 61 6c 6c 23 |ll#1#2{{|\Forall#|
|00004c50| 31 7d 5c 73 75 63 68 74 | 68 61 74 20 23 32 7d 0a |1}\sucht|hat #2}.|
|00004c60| 5c 64 65 66 5c 40 6e 6f | 72 6d 61 6c 55 6e 69 71 |\def\@no|rmalUniq|
|00004c70| 75 65 23 31 23 32 7b 7b | 5c 45 78 69 73 74 73 21 |ue#1#2{{|\Exists!|
|00004c80| 5c 2c 23 31 7d 5c 73 75 | 63 68 74 68 61 74 20 23 |\,#1}\su|chthat #|
|00004c90| 32 7d 0a 5c 64 65 66 5c | 40 73 70 6c 69 74 45 78 |2}.\def\|@splitEx|
|00004ca0| 69 73 74 73 23 31 7b 5c | 40 62 65 6c 6f 77 41 6e |ists#1{\|@belowAn|
|00004cb0| 64 49 6e 64 65 6e 74 7b | 5c 45 78 69 73 74 73 23 |dIndent{|\Exists#|
|00004cc0| 31 5c 73 75 63 68 74 68 | 61 74 7d 7d 0a 5c 64 65 |1\suchth|at}}.\de|
|00004cd0| 66 5c 40 73 70 6c 69 74 | 4e 45 78 69 73 74 73 23 |f\@split|NExists#|
|00004ce0| 31 7b 5c 40 62 65 6c 6f | 77 41 6e 64 49 6e 64 65 |1{\@belo|wAndInde|
|00004cf0| 6e 74 0a 09 7b 5c 68 62 | 6f 78 20 74 6f 20 30 70 |nt..{\hb|ox to 0p|
|00004d00| 74 7b 5c 72 61 69 73 65 | 30 2e 31 35 65 78 5c 68 |t{\raise|0.15ex\h|
|00004d10| 62 6f 78 7b 2f 7d 5c 68 | 73 73 7d 5c 45 78 69 73 |box{/}\h|ss}\Exis|
|00004d20| 74 73 23 31 5c 73 75 63 | 68 74 68 61 74 7d 7d 0a |ts#1\suc|hthat}}.|
|00004d30| 5c 64 65 66 5c 40 73 70 | 6c 69 74 46 6f 72 61 6c |\def\@sp|litForal|
|00004d40| 6c 23 31 7b 5c 40 62 65 | 6c 6f 77 41 6e 64 49 6e |l#1{\@be|lowAndIn|
|00004d50| 64 65 6e 74 7b 5c 46 6f | 72 61 6c 6c 23 31 5c 73 |dent{\Fo|rall#1\s|
|00004d60| 75 63 68 74 68 61 74 7d | 7d 0a 5c 64 65 66 5c 40 |uchthat}|}.\def\@|
|00004d70| 73 70 6c 69 74 55 6e 69 | 71 75 65 23 31 7b 5c 40 |splitUni|que#1{\@|
|00004d80| 62 65 6c 6f 77 41 6e 64 | 49 6e 64 65 6e 74 7b 5c |belowAnd|Indent{\|
|00004d90| 45 78 69 73 74 73 21 5c | 2c 23 31 5c 73 75 63 68 |Exists!\|,#1\such|
|00004da0| 74 68 61 74 7d 7d 0a 25 | 0a 25 09 73 74 72 61 63 |that}}.%|.%.strac|
|00004db0| 68 65 79 20 62 72 61 63 | 6b 65 74 73 0a 25 0a 25 |hey brac|kets.%.%|
|00004dc0| 20 74 68 65 20 6e 6f 72 | 6d 61 6c 20 64 65 66 69 | the nor|mal defi|
|00004dd0| 6e 69 74 69 6f 6e 20 77 | 6f 75 6c 64 20 62 65 20 |nition w|ould be |
|00004de0| 28 73 65 65 20 54 65 58 | 62 6f 6f 6b 2c 20 70 2e |(see TeX|book, p.|
|00004df0| 34 33 37 29 0a 5c 64 65 | 66 5c 74 65 72 6d 23 31 |437).\de|f\term#1|
|00004e00| 7b 5b 5c 6d 6b 65 72 6e | 2d 5c 74 68 69 6e 6d 75 |{[\mkern|-\thinmu|
|00004e10| 73 6b 69 70 5b 23 31 5c | 72 65 6c 61 78 5d 5c 6d |skip[#1\|relax]\m|
|00004e20| 6b 65 72 6e 2d 5c 74 68 | 69 6e 6d 75 73 6b 69 70 |kern-\th|inmuskip|
|00004e30| 5d 7d 0a 25 20 62 75 74 | 20 74 68 69 73 20 6d 65 |]}.% but| this me|
|00004e40| 61 6e 73 20 74 68 61 74 | 20 6f 6e 20 6c 6f 77 2d |ans that| on low-|
|00004e50| 72 65 73 6f 6c 75 74 69 | 6f 6e 20 28 65 67 20 33 |resoluti|on (eg 3|
|00004e60| 30 30 70 70 69 29 20 64 | 65 76 69 63 65 73 20 74 |00ppi) d|evices t|
|00004e70| 68 65 0a 25 20 73 70 61 | 63 65 20 62 65 74 77 65 |he.% spa|ce betwe|
|00004e80| 65 6e 20 62 72 61 63 6b | 65 74 73 20 63 61 6e 20 |en brack|ets can |
|00004e90| 76 61 72 79 20 62 79 20 | 6f 6e 65 20 70 69 78 65 |vary by |one pixe|
|00004ea0| 6c 2c 20 77 68 69 63 68 | 20 69 73 20 6d 6f 73 74 |l, which| is most|
|00004eb0| 0a 25 20 75 6e 70 6c 65 | 61 73 61 6e 74 2e 20 20 |.% unple|asant.  |
|00004ec0| 20 48 65 6e 63 65 20 77 | 65 20 72 6f 75 6e 64 20 | Hence w|e round |
|00004ed0| 64 6f 77 6e 20 74 68 65 | 20 64 69 73 74 61 6e 63 |down the| distanc|
|00004ee0| 65 20 74 6f 20 74 68 65 | 20 6e 65 61 72 65 73 74 |e to the| nearest|
|00004ef0| 20 0a 25 20 6d 75 6c 74 | 69 70 6c 65 20 6f 66 20 | .% mult|iple of |
|00004f00| 61 20 64 65 76 69 63 65 | 20 75 6e 69 74 2e 20 20 |a device| unit.  |
|00004f10| 49 66 20 79 6f 75 20 75 | 73 65 20 61 20 64 69 66 |If you u|se a dif|
|00004f20| 66 65 72 65 6e 74 0a 25 | 20 72 65 73 6f 6c 75 74 |ferent.%| resolut|
|00004f30| 69 6f 6e 20 64 65 76 69 | 63 65 2c 20 63 68 61 6e |ion devi|ce, chan|
|00004f40| 67 65 20 74 68 65 20 63 | 6f 6e 73 74 61 6e 74 2e |ge the c|onstant.|
|00004f50| 0a 25 20 28 59 65 73 2c | 20 49 20 6b 6e 6f 77 20 |.% (Yes,| I know |
|00004f60| 74 68 65 20 77 68 6f 6c | 65 20 70 6f 69 6e 74 20 |the whol|e point |
|00004f70| 6f 66 20 54 65 58 20 69 | 73 20 74 6f 20 6d 61 6b |of TeX i|s to mak|
|00004f80| 65 20 64 6f 63 75 6d 65 | 6e 74 73 20 73 6f 6d 65 |e docume|nts some|
|00004f90| 68 6f 77 0a 25 20 64 65 | 76 69 63 65 20 69 6e 64 |how.% de|vice ind|
|00004fa0| 65 70 65 6e 64 65 6e 74 | 2c 20 62 75 74 20 74 68 |ependent|, but th|
|00004fb0| 65 20 6e 6f 72 6d 61 6c | 20 64 65 66 6e 2e 20 6a |e normal| defn. j|
|00004fc0| 75 73 74 20 6c 6f 6f 6b | 73 20 70 6c 61 69 6e 20 |ust look|s plain |
|00004fd0| 61 77 66 75 6c 29 2e 0a | 25 0a 25 5c 6e 65 77 73 |awful)..|%.%\news|
|00004fe0| 6b 69 70 5c 40 64 65 76 | 69 63 65 75 6e 69 74 0a |kip\@dev|iceunit.|
|00004ff0| 25 5c 40 64 65 76 69 63 | 65 75 6e 69 74 3d 30 2e |%\@devic|eunit=0.|
|00005000| 30 30 33 33 33 33 33 69 | 6e 09 25 20 33 30 30 20 |0033333i|n.% 300 |
|00005010| 70 70 69 0a 25 5c 64 65 | 66 5c 74 65 72 6d 23 31 |ppi.%\de|f\term#1|
|00005020| 7b 7b 5c 73 65 74 62 6f | 78 32 35 35 3d 5c 68 62 |{{\setbo|x255=\hb|
|00005030| 6f 78 7b 24 5b 24 7d 20 | 20 5c 64 69 6d 65 6e 32 |ox{$[$} | \dimen2|
|00005040| 35 35 3d 5c 77 64 32 35 | 35 0a 25 09 5c 61 64 76 |55=\wd25|5.%.\adv|
|00005050| 61 6e 63 65 5c 64 69 6d | 65 6e 32 35 35 20 62 79 |ance\dim|en255 by|
|00005060| 2d 30 2e 31 36 36 36 36 | 37 65 6d 09 25 20 5c 64 |-0.16666|7em.% \d|
|00005070| 69 6d 65 6e 32 35 35 3d | 20 74 68 65 20 64 69 73 |imen255=| the dis|
|00005080| 74 61 6e 63 65 20 62 65 | 74 77 65 65 6e 0a 25 09 |tance be|tween.%.|
|00005090| 09 09 09 09 25 20 74 68 | 65 20 72 65 66 20 70 6f |....% th|e ref po|
|000050a0| 69 6e 74 73 20 6f 66 20 | 74 68 65 20 62 72 61 63 |ints of |the brac|
|000050b0| 6b 65 74 73 0a 25 09 25 | 20 72 6f 75 6e 64 20 64 |kets.%.%| round d|
|000050c0| 6f 77 6e 20 74 6f 20 61 | 20 64 65 76 69 63 65 20 |own to a| device |
|000050d0| 75 6e 69 74 3a 0a 25 09 | 5c 64 69 76 69 64 65 5c |unit:.%.|\divide\|
|000050e0| 64 69 6d 65 6e 32 35 35 | 20 62 79 5c 40 64 65 76 |dimen255| by\@dev|
|000050f0| 69 63 65 75 6e 69 74 0a | 25 09 5c 6d 75 6c 74 69 |iceunit.|%.\multi|
|00005100| 70 6c 79 5c 64 69 6d 65 | 6e 32 35 35 20 62 79 5c |ply\dime|n255 by\|
|00005110| 40 64 65 76 69 63 65 75 | 6e 69 74 0a 25 09 25 20 |@deviceu|nit.%.% |
|00005120| 61 6e 64 20 73 75 62 74 | 72 61 63 74 20 74 68 65 |and subt|ract the|
|00005130| 20 77 69 64 74 68 20 6f | 66 20 74 68 65 20 62 72 | width o|f the br|
|00005140| 61 63 6b 65 74 0a 25 09 | 5c 61 64 76 61 6e 63 65 |acket.%.|\advance|
|00005150| 5c 64 69 6d 65 6e 32 35 | 35 20 62 79 2d 5c 77 64 |\dimen25|5 by-\wd|
|00005160| 32 35 35 0a 25 09 5c 68 | 62 6f 78 7b 5c 63 6f 70 |255.%.\h|box{\cop|
|00005170| 79 32 35 35 5c 6b 65 72 | 6e 5c 64 69 6d 65 6e 32 |y255\ker|n\dimen2|
|00005180| 35 35 5c 62 6f 78 32 35 | 35 7d 23 31 0a 25 09 5c |55\box25|5}#1.%.\|
|00005190| 68 62 6f 78 7b 5c 68 62 | 6f 78 7b 24 5d 24 7d 5c |hbox{\hb|ox{$]$}\|
|000051a0| 6b 65 72 6e 5c 64 69 6d | 65 6e 32 35 35 5c 68 62 |kern\dim|en255\hb|
|000051b0| 6f 78 7b 24 5d 24 7d 7d | 7d 7d 25 20 61 73 73 75 |ox{$]$}}|}}% assu|
|000051c0| 6d 65 20 74 68 61 74 20 | 6c 65 66 74 0a 25 09 25 |me that |left.%.%|
|000051d0| 20 61 6e 64 20 72 69 67 | 68 74 20 62 72 61 63 6b | and rig|ht brack|
|000051e0| 65 74 73 20 61 72 65 20 | 74 68 65 20 73 61 6d 65 |ets are |the same|
|000051f0| 20 77 69 64 74 68 0a 25 | 0a 25 09 66 75 6e 63 74 | width.%|.%.funct|
|00005200| 69 6f 6e 20 63 6f 6d 70 | 6f 73 69 74 69 6f 6e 0a |ion comp|osition.|
|00005210| 25 0a 5c 6c 65 74 5c 63 | 6f 6d 70 66 3d 5c 63 69 |%.\let\c|ompf=\ci|
|00005220| 72 63 0a 25 0a 25 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |rc.%.%--|--------|
|00005230| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00005240| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00005250| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00005260| 2d 2d 2d 2d 2d 2d 0a 25 | 0a 25 09 66 75 6e 63 74 |------.%|.%.funct|
|00005270| 69 6f 6e 20 65 6e 76 69 | 72 6f 6e 6d 65 6e 74 0a |ion envi|ronment.|
|00005280| 25 0a 25 20 54 68 69 73 | 20 65 6e 76 69 72 6f 6e |%.% This| environ|
|00005290| 6d 65 6e 74 20 69 73 20 | 73 69 6d 69 6c 61 72 20 |ment is |similar |
|000052a0| 74 6f 20 74 68 65 20 6f | 70 20 65 6e 76 69 72 6f |to the o|p enviro|
|000052b0| 6e 6d 65 6e 74 2c 20 62 | 75 74 20 69 73 20 75 73 |nment, b|ut is us|
|000052c0| 65 64 20 66 6f 72 20 66 | 75 6e 63 74 69 6f 6e 20 |ed for f|unction |
|000052d0| 0a 25 20 64 65 66 69 6e | 69 74 69 6f 6e 2e 20 20 |.% defin|ition.  |
|000052e0| 0a 25 0a 25 20 54 68 65 | 20 6d 61 6e 64 61 74 6f |.%.% The| mandato|
|000052f0| 72 79 20 66 69 72 73 74 | 20 70 61 72 61 6d 65 74 |ry first| paramet|
|00005300| 65 72 20 69 73 20 74 68 | 65 20 6e 61 6d 65 20 6f |er is th|e name o|
|00005310| 66 20 74 68 65 20 66 75 | 6e 63 74 69 6f 6e 2c 20 |f the fu|nction, |
|00005320| 74 68 65 20 73 65 63 6f | 6e 64 20 69 73 20 74 68 |the seco|nd is th|
|00005330| 65 0a 25 20 61 72 67 75 | 6d 65 6e 74 20 6c 69 73 |e.% argu|ment lis|
|00005340| 74 2e 0a 25 0a 25 20 54 | 68 65 20 2a 2d 66 6f 72 |t..%.% T|he *-for|
|00005350| 6d 20 73 69 6d 70 6c 79 | 20 64 6f 65 73 6e 27 74 |m simply| doesn't|
|00005360| 20 66 6f 72 63 65 20 74 | 68 65 20 70 61 72 65 6e | force t|he paren|
|00005370| 74 68 65 73 65 73 20 72 | 6f 75 6e 64 20 74 68 65 |theses r|ound the|
|00005380| 20 61 72 67 75 6d 65 6e | 74 20 6c 69 73 74 0a 25 | argumen|t list.%|
|00005390| 0a 5c 6e 65 77 65 6e 76 | 69 72 6f 6e 6d 65 6e 74 |.\newenv|ironment|
|000053a0| 7b 66 6e 7d 7b 5c 70 61 | 72 65 6e 73 40 74 72 75 |{fn}{\pa|rens@tru|
|000053b0| 65 5c 40 62 65 67 69 6e | 56 44 4d 66 75 6e 63 74 |e\@begin|VDMfunct|
|000053c0| 69 6f 6e 7d 7b 5c 40 65 | 6e 64 56 44 4d 66 75 6e |ion}{\@e|ndVDMfun|
|000053d0| 63 74 69 6f 6e 7d 0a 5c | 6e 65 77 65 6e 76 69 72 |ction}.\|newenvir|
|000053e0| 6f 6e 6d 65 6e 74 7b 66 | 6e 2a 7d 7b 5c 70 61 72 |onment{f|n*}{\par|
|000053f0| 65 6e 73 40 66 61 6c 73 | 65 5c 40 62 65 67 69 6e |ens@fals|e\@begin|
|00005400| 56 44 4d 66 75 6e 63 74 | 69 6f 6e 7d 7b 5c 40 65 |VDMfunct|ion}{\@e|
|00005410| 6e 64 56 44 4d 66 75 6e | 63 74 69 6f 6e 7d 0a 25 |ndVDMfun|ction}.%|
|00005420| 20 73 68 6f 72 74 20 66 | 6f 72 6d 0a 5c 6e 65 77 | short f|orm.\new|
|00005430| 65 6e 76 69 72 6f 6e 6d | 65 6e 74 7b 76 64 6d 66 |environm|ent{vdmf|
|00005440| 6e 7d 7b 5c 40 62 65 67 | 69 6e 76 64 6d 5c 70 61 |n}{\@beg|invdm\pa|
|00005450| 72 65 6e 73 40 74 72 75 | 65 0a 09 5c 40 62 65 67 |rens@tru|e..\@beg|
|00005460| 69 6e 56 44 4d 66 75 6e | 63 74 69 6f 6e 7d 7b 5c |inVDMfun|ction}{\|
|00005470| 40 65 6e 64 56 44 4d 66 | 75 6e 63 74 69 6f 6e 5c |@endVDMf|unction\|
|00005480| 40 65 6e 64 76 64 6d 7d | 0a 5c 6e 65 77 65 6e 76 |@endvdm}|.\newenv|
|00005490| 69 72 6f 6e 6d 65 6e 74 | 7b 76 64 6d 66 6e 2a 7d |ironment|{vdmfn*}|
|000054a0| 7b 5c 40 62 65 67 69 6e | 76 64 6d 5c 70 61 72 65 |{\@begin|vdm\pare|
|000054b0| 6e 73 40 66 61 6c 73 65 | 0a 09 5c 40 62 65 67 69 |ns@false|..\@begi|
|000054c0| 6e 56 44 4d 66 75 6e 63 | 74 69 6f 6e 7d 7b 5c 40 |nVDMfunc|tion}{\@|
|000054d0| 65 6e 64 56 44 4d 66 75 | 6e 63 74 69 6f 6e 5c 40 |endVDMfu|nction\@|
|000054e0| 65 6e 64 76 64 6d 7d 0a | 25 0a 25 20 72 65 67 69 |endvdm}.|%.% regi|
|000054f0| 73 74 65 72 73 20 75 73 | 65 64 20 77 69 74 68 69 |sters us|ed withi|
|00005500| 6e 20 74 68 65 20 66 6e | 20 65 6e 76 69 72 6f 6e |n the fn| environ|
|00005510| 6d 65 6e 74 0a 5c 6e 65 | 77 62 6f 78 5c 40 66 6e |ment.\ne|wbox\@fn|
|00005520| 4e 61 6d 65 42 6f 78 0a | 5c 6e 65 77 69 66 5c 69 |NameBox.|\newif\i|
|00005530| 66 73 69 67 6e 61 74 75 | 72 65 45 6e 63 6f 75 6e |fsignatu|reEncoun|
|00005540| 74 65 72 65 64 40 0a 5c | 6e 65 77 74 6f 6b 73 5c |tered@.\|newtoks\|
|00005550| 40 73 69 67 6e 61 74 75 | 72 65 54 6f 6b 65 6e 73 |@signatu|reTokens|
|00005560| 0a 5c 6e 65 77 62 6f 78 | 5c 40 66 6e 44 65 66 6e |.\newbox|\@fnDefn|
|00005570| 42 6f 78 0a 5c 6e 65 77 | 69 66 5c 69 66 70 61 72 |Box.\new|if\ifpar|
|00005580| 65 6e 73 40 0a 25 0a 5c | 64 65 66 5c 40 62 65 67 |ens@.%.\|def\@beg|
|00005590| 69 6e 56 44 4d 66 75 6e | 63 74 69 6f 6e 23 31 23 |inVDMfun|ction#1#|
|000055a0| 32 7b 25 0a 09 5c 73 65 | 74 62 6f 78 5c 40 66 6e |2{%..\se|tbox\@fn|
|000055b0| 4e 61 6d 65 42 6f 78 3d | 5c 68 62 6f 78 7b 24 23 |NameBox=|\hbox{$#|
|000055c0| 31 24 7d 25 0a 09 5c 73 | 65 74 62 6f 78 5c 40 70 |1$}%..\s|etbox\@p|
|000055d0| 72 65 43 6f 6e 64 69 74 | 69 6f 6e 42 6f 78 3d 5c |reCondit|ionBox=\|
|000055e0| 62 6f 78 5c 76 6f 69 64 | 62 40 78 20 25 20 66 6f |box\void|b@x % fo|
|000055f0| 72 20 70 65 6f 70 6c 65 | 20 77 68 6f 20 77 61 6e |r people| who wan|
|00005600| 74 20 74 6f 20 64 6f 0a | 09 5c 73 65 74 62 6f 78 |t to do.|.\setbox|
|00005610| 5c 40 70 6f 73 74 43 6f | 6e 64 69 74 69 6f 6e 42 |\@postCo|nditionB|
|00005620| 6f 78 3d 5c 62 6f 78 5c | 76 6f 69 64 62 40 78 25 |ox=\box\|voidb@x%|
|00005630| 20 69 6d 70 6c 69 63 69 | 74 20 64 65 66 6e 73 0a | implici|t defns.|
|00005640| 09 5c 40 73 69 67 6e 61 | 74 75 72 65 54 6f 6b 65 |.\@signa|tureToke|
|00005650| 6e 73 3d 7b 7d 5c 73 69 | 67 6e 61 74 75 72 65 45 |ns={}\si|gnatureE|
|00005660| 6e 63 6f 75 6e 74 65 72 | 65 64 40 66 61 6c 73 65 |ncounter|ed@false|
|00005670| 0a 09 5c 69 66 70 61 72 | 65 6e 73 40 0a 09 09 5c |..\ifpar|ens@...\|
|00005680| 40 61 72 67 75 6d 65 6e | 74 4c 69 73 74 54 6f 6b |@argumen|tListTok|
|00005690| 65 6e 73 3d 7b 28 23 32 | 29 7d 0a 09 5c 65 6c 73 |ens={(#2|)}..\els|
|000056a0| 65 0a 09 09 5c 40 61 72 | 67 75 6d 65 6e 74 4c 69 |e...\@ar|gumentLi|
|000056b0| 73 74 54 6f 6b 65 6e 73 | 3d 7b 23 32 7d 0a 09 5c |stTokens|={#2}..\|
|000056c0| 66 69 0a 09 5c 76 73 6b | 69 70 5c 70 72 65 46 75 |fi..\vsk|ip\preFu|
|000056d0| 6e 63 74 69 6f 6e 53 6b | 69 70 0a 09 5c 40 62 65 |nctionSk|ip..\@be|
|000056e0| 67 69 6e 56 65 72 74 69 | 63 61 6c 56 44 4d 20 0a |ginVerti|calVDM .|
|000056f0| 09 25 20 67 65 74 20 5c | 68 73 69 7a 65 20 72 69 |.% get \|hsize ri|
|00005700| 67 68 74 20 66 6f 72 20 | 63 75 72 72 65 6e 74 20 |ght for |current |
|00005710| 69 6e 64 65 6e 74 0a 09 | 5c 62 67 72 6f 75 70 0a |indent..|\bgroup.|
|00005720| 09 5c 61 64 76 61 6e 63 | 65 5c 68 73 69 7a 65 20 |.\advanc|e\hsize |
|00005730| 62 79 2d 5c 6c 65 66 74 | 73 6b 69 70 20 5c 6c 65 |by-\left|skip \le|
|00005740| 66 74 73 6b 69 70 3d 30 | 70 74 20 25 20 73 65 65 |ftskip=0|pt % see|
|00005750| 20 5c 40 62 65 67 69 6e | 56 44 4d 4f 70 65 72 61 | \@begin|VDMOpera|
|00005760| 74 69 6f 6e 0a 09 5c 70 | 72 65 46 75 6e 63 74 69 |tion..\p|reFuncti|
|00005770| 6f 6e 48 6f 6f 6b 0a 09 | 5c 40 62 65 67 69 6e 46 |onHook..|\@beginF|
|00005780| 6e 44 65 66 6e 7d 0a 25 | 0a 25 20 72 65 61 64 20 |nDefn}.%|.% read |
|00005790| 69 6e 20 61 20 73 69 67 | 6e 61 74 75 72 65 0a 5c |in a sig|nature.\|
|000057a0| 64 65 66 5c 73 69 67 6e | 61 74 75 72 65 7b 5c 67 |def\sign|ature{\g|
|000057b0| 6c 6f 62 61 6c 5c 73 69 | 67 6e 61 74 75 72 65 45 |lobal\si|gnatureE|
|000057c0| 6e 63 6f 75 6e 74 65 72 | 65 64 40 74 72 75 65 20 |ncounter|ed@true |
|000057d0| 5c 67 6c 6f 62 61 6c 5c | 40 73 69 67 6e 61 74 75 |\global\|@signatu|
|000057e0| 72 65 54 6f 6b 65 6e 73 | 3d 7d 0a 25 0a 5c 64 65 |reTokens|=}.%.\de|
|000057f0| 66 5c 40 62 65 67 69 6e | 46 6e 44 65 66 6e 7b 5c |f\@begin|FnDefn{\|
|00005800| 67 6c 6f 62 61 6c 5c 73 | 65 74 62 6f 78 5c 40 66 |global\s|etbox\@f|
|00005810| 6e 44 65 66 6e 42 6f 78 | 3d 5c 76 74 6f 70 5c 62 |nDefnBox|=\vtop\b|
|00005820| 67 72 6f 75 70 0a 09 5c | 40 72 61 67 67 65 64 52 |group..\|@raggedR|
|00005830| 69 67 68 74 20 5c 68 61 | 6e 67 69 6e 64 65 6e 74 |ight \ha|ngindent|
|00005840| 3d 32 65 6d 20 5c 68 61 | 6e 67 61 66 74 65 72 3d |=2em \ha|ngafter=|
|00005850| 31 0a 09 5c 6e 6f 69 6e | 64 65 6e 74 24 5c 63 6f |1..\noin|dent$\co|
|00005860| 70 79 5c 40 66 6e 4e 61 | 6d 65 42 6f 78 20 5c 74 |py\@fnNa|meBox \t|
|00005870| 68 65 5c 40 61 72 67 75 | 6d 65 6e 74 4c 69 73 74 |he\@argu|mentList|
|00005880| 54 6f 6b 65 6e 73 20 0a | 09 5c 71 75 61 64 5c 44 |Tokens .|.\quad\D|
|00005890| 45 46 5c 71 75 61 64 5c | 70 65 6e 61 6c 74 79 2d |EF\quad\|penalty-|
|000058a0| 31 30 30 20 7d 0a 25 0a | 5c 6e 65 77 73 6b 69 70 |100 }.%.|\newskip|
|000058b0| 5c 70 72 65 46 75 6e 63 | 74 69 6f 6e 53 6b 69 70 |\preFunc|tionSkip|
|000058c0| 20 5c 70 72 65 46 75 6e | 63 74 69 6f 6e 53 6b 69 | \preFun|ctionSki|
|000058d0| 70 3d 32 65 78 20 70 6c | 75 73 20 2e 35 65 78 20 |p=2ex pl|us .5ex |
|000058e0| 6d 69 6e 75 73 20 2e 32 | 65 78 0a 5c 6e 65 77 73 |minus .2|ex.\news|
|000058f0| 6b 69 70 5c 70 6f 73 74 | 46 75 6e 63 74 69 6f 6e |kip\post|Function|
|00005900| 53 6b 69 70 20 5c 70 6f | 73 74 46 75 6e 63 74 69 |Skip \po|stFuncti|
|00005910| 6f 6e 53 6b 69 70 3d 32 | 65 78 20 70 6c 75 73 20 |onSkip=2|ex plus |
|00005920| 2e 35 65 78 20 6d 69 6e | 75 73 20 2e 32 65 78 0a |.5ex min|us .2ex.|
|00005930| 5c 6e 65 77 73 6b 69 70 | 5c 62 65 74 77 65 65 6e |\newskip|\between|
|00005940| 53 69 67 6e 61 74 75 72 | 65 41 6e 64 42 6f 64 79 |Signatur|eAndBody|
|00005950| 53 6b 69 70 0a 5c 62 65 | 74 77 65 65 6e 53 69 67 |Skip.\be|tweenSig|
|00005960| 6e 61 74 75 72 65 41 6e | 64 42 6f 64 79 53 6b 69 |natureAn|dBodySki|
|00005970| 70 3d 31 2e 32 65 78 20 | 70 6c 75 73 20 2e 33 65 |p=1.2ex |plus .3e|
|00005980| 78 20 6d 69 6e 75 73 20 | 2e 32 65 78 0a 25 0a 5c |x minus |.2ex.%.\|
|00005990| 64 65 66 5c 40 65 6e 64 | 56 44 4d 66 75 6e 63 74 |def\@end|VDMfunct|
|000059a0| 69 6f 6e 7b 25 0a 09 24 | 5c 65 67 72 6f 75 70 20 |ion{%..$|\egroup |
|000059b0| 20 25 20 74 68 69 73 20 | 65 6e 64 73 20 74 68 65 | % this |ends the|
|000059c0| 20 76 74 6f 70 20 77 65 | 20 73 74 61 72 74 65 64 | vtop we| started|
|000059d0| 20 69 6e 20 5c 40 62 65 | 67 69 6e 46 6e 44 65 66 | in \@be|ginFnDef|
|000059e0| 6e 0a 09 5c 69 66 73 69 | 67 6e 61 74 75 72 65 45 |n..\ifsi|gnatureE|
|000059f0| 6e 63 6f 75 6e 74 65 72 | 65 64 40 0a 09 09 5c 73 |ncounter|ed@...\s|
|00005a00| 65 74 62 6f 78 30 3d 5c | 68 62 6f 78 7b 5c 75 6e |etbox0=\|hbox{\un|
|00005a10| 68 62 6f 78 5c 40 66 6e | 4e 61 6d 65 42 6f 78 24 |hbox\@fn|NameBox$|
|00005a20| 5c 3b 5c 6d 61 74 68 70 | 75 6e 63 74 3a 5c 2c 24 |\;\mathp|unct:\,$|
|00005a30| 7d 25 0a 09 09 5c 64 69 | 6d 65 6e 32 35 35 3d 5c |}%...\di|men255=\|
|00005a40| 77 64 30 20 5c 6e 6f 69 | 6e 64 65 6e 74 20 5c 62 |wd0 \noi|ndent \b|
|00005a50| 6f 78 30 0a 09 09 5c 76 | 74 6f 70 7b 5c 61 64 76 |ox0...\v|top{\adv|
|00005a60| 61 6e 63 65 5c 68 73 69 | 7a 65 20 62 79 2d 5c 64 |ance\hsi|ze by-\d|
|00005a70| 69 6d 65 6e 32 35 35 20 | 5c 40 72 61 67 67 65 64 |imen255 |\@ragged|
|00005a80| 52 69 67 68 74 0a 09 09 | 09 5c 6e 6f 69 6e 64 65 |Right...|.\noinde|
|00005a90| 6e 74 24 5c 72 65 6c 61 | 78 5c 74 68 65 5c 40 73 |nt$\rela|x\the\@s|
|00005aa0| 69 67 6e 61 74 75 72 65 | 54 6f 6b 65 6e 73 5c 72 |ignature|Tokens\r|
|00005ab0| 65 6c 61 78 24 7d 25 0a | 09 09 5c 65 67 72 6f 75 |elax$}%.|..\egrou|
|00005ac0| 70 20 25 20 74 68 69 73 | 20 6d 61 74 63 68 65 73 |p % this| matches|
|00005ad0| 20 74 68 65 20 62 67 72 | 6f 75 70 20 69 6e 20 5c | the bgr|oup in \|
|00005ae0| 40 62 65 67 69 6e 56 44 | 4d 66 75 6e 63 74 69 6f |@beginVD|Mfunctio|
|00005af0| 6e 0a 09 09 5c 76 73 6b | 69 70 5c 62 65 74 77 65 |n...\vsk|ip\betwe|
|00005b00| 65 6e 53 69 67 6e 61 74 | 75 72 65 41 6e 64 42 6f |enSignat|ureAndBo|
|00005b10| 64 79 53 6b 69 70 0a 09 | 09 5c 62 65 74 77 65 65 |dySkip..|.\betwee|
|00005b20| 6e 53 69 67 6e 61 74 75 | 72 65 41 6e 64 42 6f 64 |nSignatu|reAndBod|
|00005b30| 79 48 6f 6f 6b 0a 09 5c | 65 6c 73 65 09 5c 65 67 |yHook..\|else.\eg|
|00005b40| 72 6f 75 70 20 25 20 74 | 68 69 73 20 6d 61 74 63 |roup % t|his matc|
|00005b50| 68 65 73 20 74 68 65 20 | 62 67 72 6f 75 70 20 69 |hes the |bgroup i|
|00005b60| 6e 20 5c 40 62 65 67 69 | 6e 56 44 4d 66 75 6e 63 |n \@begi|nVDMfunc|
|00005b70| 74 69 6f 6e 0a 09 5c 66 | 69 0a 09 5c 6d 6f 76 65 |tion..\f|i..\move|
|00005b80| 72 69 67 68 74 5c 56 44 | 4d 69 6e 64 65 6e 74 5c |right\VD|Mindent\|
|00005b90| 62 6f 78 5c 40 66 6e 44 | 65 66 6e 42 6f 78 0a 09 |box\@fnD|efnBox..|
|00005ba0| 5c 76 73 6b 69 70 5c 70 | 6f 73 74 46 75 6e 63 74 |\vskip\p|ostFunct|
|00005bb0| 69 6f 6e 53 6b 69 70 0a | 09 5c 69 66 76 6f 69 64 |ionSkip.|.\ifvoid|
|00005bc0| 5c 40 70 72 65 43 6f 6e | 64 69 74 69 6f 6e 42 6f |\@preCon|ditionBo|
|00005bd0| 78 0a 09 5c 65 6c 73 65 | 20 5c 6d 6f 76 65 72 69 |x..\else| \moveri|
|00005be0| 67 68 74 5c 56 44 4d 69 | 6e 64 65 6e 74 5c 62 6f |ght\VDMi|ndent\bo|
|00005bf0| 78 5c 40 70 72 65 43 6f | 6e 64 69 74 69 6f 6e 42 |x\@preCo|nditionB|
|00005c00| 6f 78 0a 09 20 20 20 20 | 20 20 5c 76 73 6b 69 70 |ox..    |  \vskip|
|00005c10| 5c 70 6f 73 74 50 72 65 | 43 6f 6e 64 69 74 69 6f |\postPre|Conditio|
|00005c20| 6e 53 6b 69 70 0a 09 5c | 66 69 0a 09 5c 62 65 74 |nSkip..\|fi..\bet|
|00005c30| 77 65 65 6e 50 72 65 41 | 6e 64 50 6f 73 74 43 6f |weenPreA|ndPostCo|
|00005c40| 6e 64 69 74 69 6f 6e 48 | 6f 6f 6b 0a 09 5c 69 66 |nditionH|ook..\if|
|00005c50| 76 6f 69 64 5c 40 70 6f | 73 74 43 6f 6e 64 69 74 |void\@po|stCondit|
|00005c60| 69 6f 6e 42 6f 78 0a 09 | 5c 65 6c 73 65 20 5c 6d |ionBox..|\else \m|
|00005c70| 6f 76 65 72 69 67 68 74 | 5c 56 44 4d 69 6e 64 65 |overight|\VDMinde|
|00005c80| 6e 74 5c 62 6f 78 5c 40 | 70 6f 73 74 43 6f 6e 64 |nt\box\@|postCond|
|00005c90| 69 74 69 6f 6e 42 6f 78 | 0a 09 20 20 20 20 20 20 |itionBox|..      |
|00005ca0| 5c 76 73 6b 69 70 5c 70 | 6f 73 74 4f 70 65 72 61 |\vskip\p|ostOpera|
|00005cb0| 74 69 6f 6e 53 6b 69 70 | 0a 09 5c 66 69 0a 09 5c |tionSkip|..\fi..\|
|00005cc0| 70 6f 73 74 46 75 6e 63 | 74 69 6f 6e 48 6f 6f 6b |postFunc|tionHook|
|00005cd0| 7d 0a 25 0a 5c 6e 65 77 | 63 6f 75 6e 74 5c 70 72 |}.%.\new|count\pr|
|00005ce0| 65 46 75 6e 63 74 69 6f | 6e 50 65 6e 61 6c 74 79 |eFunctio|nPenalty|
|00005cf0| 20 5c 70 72 65 46 75 6e | 63 74 69 6f 6e 50 65 6e | \preFun|ctionPen|
|00005d00| 61 6c 74 79 3d 30 0a 5c | 6e 65 77 63 6f 75 6e 74 |alty=0.\|newcount|
|00005d10| 5c 62 65 74 77 65 65 6e | 53 69 67 6e 61 74 75 72 |\between|Signatur|
|00005d20| 65 41 6e 64 42 6f 64 79 | 50 65 6e 61 6c 74 79 20 |eAndBody|Penalty |
|00005d30| 5c 62 65 74 77 65 65 6e | 53 69 67 6e 61 74 75 72 |\between|Signatur|
|00005d40| 65 41 6e 64 42 6f 64 79 | 50 65 6e 61 6c 74 79 3d |eAndBody|Penalty=|
|00005d50| 35 30 30 0a 5c 6e 65 77 | 63 6f 75 6e 74 5c 70 6f |500.\new|count\po|
|00005d60| 73 74 46 75 6e 63 74 69 | 6f 6e 50 65 6e 61 6c 74 |stFuncti|onPenalt|
|00005d70| 79 20 5c 70 6f 73 74 46 | 75 6e 63 74 69 6f 6e 50 |y \postF|unctionP|
|00005d80| 65 6e 61 6c 74 79 3d 2d | 35 30 30 0a 25 0a 25 20 |enalty=-|500.%.% |
|00005d90| 54 68 65 73 65 20 61 72 | 65 20 63 61 6c 6c 65 64 |These ar|e called|
|00005da0| 20 69 6e 20 6f 75 74 65 | 72 20 76 65 72 74 69 63 | in oute|r vertic|
|00005db0| 61 6c 20 6d 6f 64 65 2d | 2d 2d 74 68 65 79 20 6d |al mode-|--they m|
|00005dc0| 75 73 74 20 61 6c 73 6f | 20 65 78 69 74 20 69 6e |ust also| exit in|
|00005dd0| 20 74 68 69 73 20 6d 6f | 64 65 0a 5c 64 65 66 5c | this mo|de.\def\|
|00005de0| 70 72 65 46 75 6e 63 74 | 69 6f 6e 48 6f 6f 6b 7b |preFunct|ionHook{|
|00005df0| 5c 70 65 6e 61 6c 74 79 | 5c 70 72 65 46 75 6e 63 |\penalty|\preFunc|
|00005e00| 74 69 6f 6e 50 65 6e 61 | 6c 74 79 20 7d 0a 5c 64 |tionPena|lty }.\d|
|00005e10| 65 66 5c 62 65 74 77 65 | 65 6e 53 69 67 6e 61 74 |ef\betwe|enSignat|
|00005e20| 75 72 65 41 6e 64 42 6f | 64 79 48 6f 6f 6b 7b 5c |ureAndBo|dyHook{\|
|00005e30| 70 65 6e 61 6c 74 79 5c | 62 65 74 77 65 65 6e 53 |penalty\|betweenS|
|00005e40| 69 67 6e 61 74 75 72 65 | 41 6e 64 42 6f 64 79 50 |ignature|AndBodyP|
|00005e50| 65 6e 61 6c 74 79 20 7d | 0a 5c 64 65 66 5c 70 6f |enalty }|.\def\po|
|00005e60| 73 74 46 75 6e 63 74 69 | 6f 6e 48 6f 6f 6b 7b 5c |stFuncti|onHook{\|
|00005e70| 70 65 6e 61 6c 74 79 5c | 70 6f 73 74 46 75 6e 63 |penalty\|postFunc|
|00005e80| 74 69 6f 6e 50 65 6e 61 | 6c 74 79 20 7d 0a 25 0a |tionPena|lty }.%.|
|00005e90| 25 09 6f 74 68 65 72 20 | 66 75 6e 63 74 69 6f 6e |%.other |function|
|00005ea0| 2d 72 65 6c 61 74 65 64 | 20 74 68 69 6e 67 73 0a |-related| things.|
|00005eb0| 25 0a 25 20 66 75 6e 63 | 74 69 6f 6e 20 61 72 72 |%.% func|tion arr|
|00005ec0| 6f 77 0a 5c 64 65 66 5c | 74 6f 7b 5c 70 65 6e 61 |ow.\def\|to{\pena|
|00005ed0| 6c 74 79 2d 31 30 30 5c | 72 69 67 68 74 61 72 72 |lty-100\|rightarr|
|00005ee0| 6f 77 7d 0a 25 20 65 78 | 70 6c 69 63 69 74 20 6c |ow}.% ex|plicit l|
|00005ef0| 61 6d 64 62 61 20 66 75 | 6e 63 74 69 6f 6e 0a 5c |amdba fu|nction.\|
|00005f00| 64 65 66 5c 4c 61 6d 62 | 64 61 46 6e 7b 5c 40 69 |def\Lamb|daFn{\@i|
|00005f10| 66 73 74 61 72 7b 5c 40 | 73 70 6c 69 74 4c 61 6d |fstar{\@|splitLam|
|00005f20| 62 64 61 46 6e 7d 7b 5c | 40 6e 6f 72 6d 61 6c 4c |bdaFn}{\|@normalL|
|00005f30| 61 6d 62 64 61 46 6e 7d | 7d 0a 5c 64 65 66 5c 40 |ambdaFn}|}.\def\@|
|00005f40| 6e 6f 72 6d 61 6c 4c 61 | 6d 62 64 61 46 6e 23 31 |normalLa|mbdaFn#1|
|00005f50| 23 32 7b 7b 5c 6c 61 6d | 62 64 61 23 31 7d 5c 73 |#2{{\lam|bda#1}\s|
|00005f60| 75 63 68 74 68 61 74 23 | 32 7d 0a 5c 64 65 66 5c |uchthat#|2}.\def\|
|00005f70| 40 73 70 6c 69 74 4c 61 | 6d 62 64 61 46 6e 23 31 |@splitLa|mbdaFn#1|
|00005f80| 23 32 7b 25 20 70 6c 61 | 63 65 20 62 6f 64 79 20 |#2{% pla|ce body |
|00005f90| 69 6e 20 61 20 73 65 70 | 61 72 61 74 65 20 62 6f |in a sep|arate bo|
|00005fa0| 78 20 62 65 6c 6f 77 20 | 61 6e 64 20 74 6f 20 74 |x below |and to t|
|00005fb0| 68 65 20 72 69 67 68 74 | 0a 09 7b 5c 6c 61 6d 62 |he right|..{\lamb|
|00005fc0| 64 61 23 31 7d 5c 73 75 | 63 68 74 68 61 74 5c 68 |da#1}\su|chthat\h|
|00005fd0| 66 69 6c 5c 62 72 65 61 | 6b 0a 09 5c 40 62 65 67 |fil\brea|k..\@beg|
|00005fe0| 69 6e 4d 61 74 68 49 6e | 64 65 6e 74 65 64 50 61 |inMathIn|dentedPa|
|00005ff0| 72 61 7b 5c 68 73 69 7a | 65 7d 7b 5c 71 71 75 61 |ra{\hsiz|e}{\qqua|
|00006000| 64 7d 23 32 5c 40 65 6e | 64 4d 61 74 68 49 6e 64 |d}#2\@en|dMathInd|
|00006010| 65 6e 74 65 64 50 61 72 | 61 7d 0a 25 0a 25 2d 2d |entedPar|a}.%.%--|
|00006020| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00006030| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00006040| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00006050| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 0a 25 |--------|------.%|
|00006060| 0a 25 09 53 65 74 73 0a | 25 0a 25 20 6e 65 77 20 |.%.Sets.|%.% new |
|00006070| 73 65 74 20 74 79 70 65 | 0a 5c 64 65 66 5c 73 65 |set type|.\def\se|
|00006080| 74 6f 66 23 31 7b 5c 6b | 77 7b 73 65 74 20 6f 66 |tof#1{\k|w{set of|
|00006090| 20 7d 23 31 7d 0a 25 20 | 73 65 74 20 65 6e 75 6d | }#1}.% |set enum|
|000060a0| 65 72 61 74 69 6f 6e 0a | 5c 64 65 66 5c 73 65 74 |eration.|\def\set|
|000060b0| 23 31 7b 5c 7b 23 31 5c | 7d 7d 0a 25 20 65 6d 70 |#1{\{#1\|}}.% emp|
|000060c0| 74 79 20 73 65 74 0a 5c | 64 65 66 5c 65 6d 70 74 |ty set.\|def\empt|
|000060d0| 79 73 65 74 7b 5c 7b 5c | 2c 5c 7d 7d 0a 25 0a 25 |yset{\{\|,\}}.%.%|
|000060e0| 20 75 73 75 61 6c 20 4c | 61 54 65 58 20 6f 70 65 | usual L|aTeX ope|
|000060f0| 72 61 74 6f 72 73 20 61 | 70 70 6c 79 3a 20 5c 69 |rators a|pply: \i|
|00006100| 6e 20 5c 6e 6f 74 69 6e | 20 5c 73 75 62 73 65 74 |n \notin| \subset|
|00006110| 20 5c 73 75 62 73 65 74 | 65 71 0a 5c 6c 65 74 5c | \subset|eq.\let\|
|00006120| 69 6e 74 65 72 3d 5c 63 | 61 70 20 5c 6c 65 74 5c |inter=\c|ap \let\|
|00006130| 69 6e 74 65 72 73 65 63 | 74 69 6f 6e 3d 5c 69 6e |intersec|tion=\in|
|00006140| 74 65 72 0a 5c 6c 65 74 | 5c 49 6e 74 65 72 3d 5c |ter.\let|\Inter=\|
|00006150| 62 69 67 63 61 70 20 5c | 6c 65 74 5c 49 6e 74 65 |bigcap \|let\Inte|
|00006160| 72 73 65 63 74 69 6f 6e | 3d 5c 49 6e 74 65 72 0a |rsection|=\Inter.|
|00006170| 5c 6c 65 74 5c 75 6e 69 | 6f 6e 3d 5c 63 75 70 0a |\let\uni|on=\cup.|
|00006180| 5c 6c 65 74 5c 55 6e 69 | 6f 6e 3d 5c 62 69 67 63 |\let\Uni|on=\bigc|
|00006190| 75 70 0a 5c 6d 61 74 68 | 63 68 61 72 64 65 66 5c |up.\math|chardef\|
|000061a0| 6d 69 6e 75 73 3d 22 32 | 32 30 30 0a 5c 64 65 66 |minus="2|200.\def|
|000061b0| 5c 64 69 66 66 7b 5c 6d | 69 6e 75 73 7d 20 5c 6c |\diff{\m|inus} \l|
|000061c0| 65 74 5c 64 69 66 66 65 | 72 65 6e 63 65 3d 5c 64 |et\diffe|rence=\d|
|000061d0| 69 66 66 0a 25 0a 5c 6e | 65 77 4d 6f 6e 61 64 69 |iff.%.\n|ewMonadi|
|000061e0| 63 4f 70 65 72 61 74 6f | 72 7b 5c 63 61 72 64 7d |cOperato|r{\card}|
|000061f0| 7b 63 61 72 64 7d 0a 5c | 6e 65 77 4d 6f 6e 61 64 |{card}.\|newMonad|
|00006200| 69 63 4f 70 65 72 61 74 | 6f 72 7b 5c 4d 69 6e 7d |icOperat|or{\Min}|
|00006210| 7b 6d 69 6e 7d 0a 5c 6e | 65 77 4d 6f 6e 61 64 69 |{min}.\n|ewMonadi|
|00006220| 63 4f 70 65 72 61 74 6f | 72 7b 5c 4d 61 78 7d 7b |cOperato|r{\Max}{|
|00006230| 6d 61 78 7d 0a 25 0a 25 | 2d 2d 2d 2d 2d 2d 2d 2d |max}.%.%|--------|
|00006240| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00006250| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00006260| 2d 2d 2d 2d 2d 2d 2d 2d | 2d 2d 2d 2d 2d 2d 2d 2d |--------|--------|
|00006270| 2d 2d 2d 2d 2d 2d 2d 2d | 0a 25 0a 25 20 09 4d 61 |--------|.%.% .Ma|
|00006280| 70 20 74 79 70 65 0a 25 | 0a 25 20 6e 65 77 20 6d |p type.%|.% new m|
|00006290| 61 70 20 74 79 70 65 0a | 5c 64 65 66 5c 6d 61 70 |ap type.|\def\map|
|000062a0| 6f 66 23 31 23 32 7b 5c | 6b 77 7b 6d 61 70 20 7d |of#1#2{\|kw{map }|
|000062b0| 5c 6e 6f 62 72 65 61 6b | 23 31 5c 70 65 6e 61 6c |\nobreak|#1\penal|
|000062c0| 74 79 2d 35 30 5c 68 73 | 6b 69 70 20 2e 35 65 6d |ty-50\hs|kip .5em|
|000062d0| 20 5c 6b 77 7b 74 6f 20 | 7d 5c 6e 6f 62 72 65 61 | \kw{to |}\nobrea|
|000062e0| 6b 23 32 7d 0a 5c 64 65 | 66 5c 6d 61 70 69 6e 74 |k#2}.\de|f\mapint|
|000062f0| 6f 23 31 23 32 7b 5c 6b | 77 7b 6d 61 70 20 7d 5c |o#1#2{\k|w{map }\|
|00006300| 6e 6f 62 72 65 61 6b 23 | 31 5c 70 65 6e 61 6c 74 |nobreak#|1\penalt|
|00006310| 79 2d 35 30 0a 09 5c 68 | 73 6b 69 70 20 2e 35 65 |y-50..\h|skip .5e|
|00006320| 6d 20 5c 6b 77 7b 69 6e | 74 6f 20 7d 5c 6e 6f 62 |m \kw{in|to }\nob|
|00006330| 72 65 61 6b 23 32 7d 0a | 25 20 6d 61 70 20 65 6e |reak#2}.|% map en|
|00006340| 75 6d 65 72 61 74 69 6f | 6e 0a 5c 64 65 66 5c 6d |umeratio|n.\def\m|
|00006350| 61 70 23 31 7b 5c 7b 23 | 31 5c 7d 7d 0a 25 20 65 |ap#1{\{#|1\}}.% e|
|00006360| 6d 70 74 79 20 6d 61 70 | 0a 5c 64 65 66 5c 65 6d |mpty map|.\def\em|
|00006370| 70 74 79 6d 61 70 7b 5c | 7b 5c 2c 5c 7d 7d 0a 25 |ptymap{\|{\,\}}.%|
|00006380| 0a 25 09 6d 61 70 20 6f | 70 65 72 61 74 6f 72 73 |.%.map o|perators|
|00006390| 0a 25 0a 25 20 75 73 65 | 20 5c 6d 61 70 73 74 6f |.%.% use| \mapsto|
|000063a0| 20 66 6f 72 20 7c 2d 3e | 0a 25 20 6f 76 65 72 77 | for |->|.% overw|
|000063b0| 72 69 74 65 0a 5c 64 65 | 66 5c 6f 77 72 7b 5c 64 |rite.\de|f\owr{\d|
|000063c0| 61 67 67 65 72 7d 0a 25 | 20 64 6f 6d 61 69 6e 20 |agger}.%| domain |
|000063d0| 72 65 73 74 72 69 63 74 | 69 6f 6e 0a 5c 6c 65 74 |restrict|ion.\let|
|000063e0| 5c 64 72 65 73 3d 5c 6c | 68 64 0a 25 20 72 61 6e |\dres=\l|hd.% ran|
|000063f0| 67 65 20 72 65 73 74 72 | 69 63 74 69 6f 6e 0a 5c |ge restr|iction.\|
+--------+-------------------------+-------------------------+--------+--------+